David McAllester - Böcker

Visar alla böcker från författaren David McAllester.
2 produkter
Harald Ganzinger, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Logic Programming and Automated Reasoning

Av Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar
David McAllester - Automated Deduction - CADE-17, Häftad

Automated Deduction - CADE-17

Av David McAllester

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar