David McAllester - Böcker
Visar alla böcker från författaren David McAllester.
2 produkter
2 produkter
Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
Häftad, Engelska, 1999
709 kr
Skickas inom 10-15 vardagar
Automated Deduction - CADE-17
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Häftad, Engelska, 2000
689 kr
Skickas inom 10-15 vardagar