Automated Reasoning Rajeev Gore
106,99 €
Titel: Automated Reasoning, Untertitel: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings, Einband: Taschenbuch, Autor: Rajeev Gore, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 728, Maße: 235x155x39 mm, Gewicht: 1083 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Schluss (logisch) Automat automata automated reasoning data structure data structures interactive theorem proving logic nonmonotonic reasoning programming proof theory proving theorem proving verification.
Jetzt bei Ebay:
