Frontiers of Combining Systems Silvio Ranise
Titel: Frontiers of Combining Systems, Untertitel: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings, Einband: Taschenbuch, Autor: Silvio Ranise, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 376, Maße: 235x155x21 mm, Gewicht: 569 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Combining systems Description Logic Equational theories Hybrid methods Modularity of ontologies Modularizing programs and specifications Multi-Agent Systems SAT solving SMT solving Verification and analysis complexity constraint solving decision procedures first-order logic higher-order logic hybrid systems modal logic model checking temporal logic term rewriting.
Jetzt bei Ebay:
![Produktbild - I ragazzi del mucchio [Paperback] Bernelli, Silvio](https://i.ebayimg.com/thumbs/images/g/a~oAAOSwYfJn5RR-/s-l140.jpg)
