David McAllester – författare

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

AvHarald Ganzinger,David McAllesterm. fl.

Häftad, Engelska, 1999

719 kr

Skickas inom 10-15 vardagar

Automated Deduction - CADE-17

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

AvDavid McAllester

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar