- 10% rabatt på allt
Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
E-bok
PDF, Engelska, 2003739 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 Programming and Automated Reasoning
Andrei Voronkov, David McAllester, Harald Ganzinger
E-bok
2007739 kr
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
Häftad, 1999
573 kr
Del 1
- 10% rabatt på allt
Del 3