Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Andrei Voronkov
Häftad, 2003
559 kr
Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
E-bok
PDF, Engelska, 2003734 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
Reasoning About Knowledge
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Vardi
Häftad, 2004
999 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Edmund M. Clarke
E-bok
2010734 kr
Del 11964
Perspectives of System Informatics
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Häftad, 2019
559 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Nikolaj Bjorner
E-bok
2012734 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 459 kr