- 10% rabatt på allt
Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
E-bok
PDF, Engelska, 2005739 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 135 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 470 kr
- 10% rabatt på allt
Del 3
- Signerad!
Del 3
- 10% rabatt på allt
Del 11