Frontiers of Combining Systems Andrei Popescu
Titel: Frontiers of Combining Systems, Untertitel: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings, Einband: Taschenbuch, Autor: Andrei Popescu, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: Algorithm analysis and problem complexity Artificial Intelligence Computability and Decidability Description Logic Programming languages Semantics Software Engineering Software Evaluation automated reasoning decision procedure first order logic formal logic model checking problem solving satisfiability semantic web temporal logic theorem provers theorem proving verification.
Jetzt bei Ebay:
