Innbunden bok

På lager hos iMusic

Vis utilgjengelige utgivelser

Releases med Miller, Dale (INRIA Saclay-Ile-de-France)

Cover for Miller, Dale (INRIA Saclay-Ile-de-France) · Proof Theory and Logic Programming: Computation as Proof Search (Innbunden bok) (2025)

Proof Theory and Logic Programmi... (2025)

Miller, Dale (INRIA Saclay-Ile-d...