Frontiers of Combining Systems Frank Wolter
53,49 €
Titel: Frontiers of Combining Systems, Untertitel: 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings, Einband: Taschenbuch, Autor: Frank Wolter, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 296, Maße: 235x155x17 mm, Gewicht: 452 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Systemtheorie (technisch) Erfüllbarkeitsproblem der Aussagenlogik Resolution algorithm algorithms automated deduction binary decision diagrams constraint solving decision procedures declarative programming logic model checking programming proof engines term rewriting theore.
Jetzt bei Ebay:
