Frontiers of Combining Systems Alessandro Armando
Titel: Frontiers of Combining Systems, Untertitel: 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings, Einband: Taschenbuch, Autor: Alessandro Armando, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 272, Maße: 235x155x15 mm, Gewicht: 417 g, Verkäufer: buch-mimpf, Schlagworte: Betriebssystem (EDV) Operating System Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik AI Logic Constraint Programming Elimination Erfüllbarkeitsproblem der Aussagenlogik automated deduction complexity computer-assisted surgery decision procedures declarative programming heuristics mathematical logic model checking proof theory proving verification.
Jetzt bei Ebay:
