Artificial Intelligence, Automated Reasoning, and Symbolic Computation Jacques C
53,49 €
Titel: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Untertitel: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings, Einband: Taschenbuch, Autor: Jacques Calmet, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 364, Maße: 235x155x20 mm, Gewicht: 552 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Artificial Intelligence Automat automated reasoning automated theorem proving intelligence modeling proving theorem proving.
Jetzt bei Ebay:
