Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad, 2002
561 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, 2003693 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
2015708 kr
Del 9150
Intelligent Computer Mathematics
Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
Häftad, 2015
561 kr
Intelligent Computer Mathematics
Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Häftad, 2008
561 kr
Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Häftad, 2012
561 kr
Mathematical Methods in Computer Science
Jorn Muller-Quade, Willi Geiselmann, Jacques Calmet
E-bok
2008708 kr
Intelligent Computer Mathematics
Volker Sorge, Makarius Wenzel, Petr Sojka, Gabriel Dos Reis, Jacques Carette, John Campbell, Johan Jeuring
E-bok
2012708 kr
Intelligent Computer Mathematics
Freek Wiedijk, Masakazu Suzuki, Volker Sorge, Julio Rubio, John Campbell, Serge Autexier
E-bok
2008708 kr
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Häftad, 2010
544 kr
Mathematical Methods in Computer Science
Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade
Häftad, 2008
561 kr