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

Nyhet

Proof Theory and Logic Programming

Computation as Proof Search

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

Inbunden, Engelska, 2025

1 079 kr

Kommande