Automated Deduction - CADE-20
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
E-bok
PDF, Engelska, 2005708 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 114 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 408 kr
- -19%
- Signerad!
Del 4
- Nyhet
Del 2
- 4 för 3