Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
E-bok
PDF, Engelska, 2005734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Logic for Programming, Artificial Intelligence, and Reasoning
Robert Nieuwenhuis, Andrei Voronkov
Häftad, 2001
1 109 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 459 kr
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- Signerad!
- -19%
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr