Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Ø 0.0
0 Bewertungen
53,49 €

Titel: Logic for Programming, Artificial Intelligence, and Reasoning, Untertitel: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 484, Maße: 235x155x27 mm, Gewicht: 727 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logikprogrammierung Schluss (logisch) Artificial Intelligence Isabelle Resolution formal verification intelligence logic programming verification.

Jetzt bei Ebay: