David McAllester - Böcker

Visar alla böcker från författaren David McAllester.

2 produkter

Kategorier

2 produkter

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

Av Harald Ganzinger, David McAllester m. fl

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-17

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Av David McAllester

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar