Logic for Programming, Artificial Intelligence, and Reasoning
Geoff Sutcliffe, Andrei Voronkov
Häftad, 2005
1 114 kr
Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
AvAndrei Voronkov,Geoff Sutcliffe
E-bok
PDF, Engelska, 20051 408 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 12699
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Edmund M. Clarke
E-bok
2010708 kr
Del 11964
Perspectives of System Informatics
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Häftad, 2019
561 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Nikolaj Bjorner
E-bok
2012708 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 408 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Moshe Vardi
E-bok
2003708 kr