David McAllester – författare

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

2 produkter

1. 

   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, 1999

   729 kr

   Lägg i varukorg

2. 

   Automated Deduction - CADE-17

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

   Av David McAllester

   Häftad, 2000

   729 kr

   Lägg i varukorg