Dale (INRIA Saclay-Ile-de-France) Miller - Böcker

Visar alla böcker från författaren Dale (INRIA Saclay-Ile-de-France) Miller.

1 produkt

Kategorier

1 produkt

Proof Theory and Logic Programming

Computation as Proof Search

AvDale Miller,Dale (INRIA Saclay-Ile-de-France) Miller

Inbunden, Engelska, 2025

989 kr

Skickas inom 7-10 vardagar