Automated Deduction - CADE-16
16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
E-bok
PDF, Engelska, 2003708 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
2007714 kr
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
Häftad, 1999
561 kr
- -19%
- -30%