Logic for Programming, Artificial Intelligence, and Reasoning
Matthias Baaz, Andrei Voronkov
Häftad, 2002
556 kr
Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
AvAndrei Voronkov,Matthias Baaz
E-bok
PDF, Engelska, 2003732 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
Del 34
Kurt Gödel and the Foundations of Mathematics
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Inbunden, 2011
1 675 kr
Kurt Gödel and the Foundations of Mathematics
Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Häftad, 2014
840 kr