Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad, 2002
573 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
AvVolker Sorge,Laurent Henocque
E-bok
PDF, Engelska, 2003718 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
Intelligent Computer Mathematics
Volker Sorge, Florian Rabe, Cezary Kaliszyk, Jacques Carette, Manfred Kerber
E-bok
2015732 kr
Del 9150
Intelligent Computer Mathematics
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Häftad, 2015
573 kr
Intelligent Computer Mathematics
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Häftad, 2008
573 kr
Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Häftad, 2012
573 kr
Mathematical Methods in Computer Science
Jorn Muller-Quade, Willi Geiselmann, Jacques Calmet
E-bok
2008739 kr
Intelligent Computer Mathematics
Volker Sorge, Makarius Wenzel, Petr Sojka, Gabriel Dos Reis, Jacques Carette, John Campbell, Johan Jeuring
E-bok
2012739 kr
Intelligent Computer Mathematics
Freek Wiedijk, Masakazu Suzuki, Volker Sorge, Julio Rubio, John Campbell, Serge Autexier
E-bok
2008739 kr
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Häftad, 2010
557 kr
Mathematical Methods in Computer Science
Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade
Häftad, 2008
573 kr