Automated Reasoning with Analytic Tableaux and Related Methods Cláudia Nalon
69,54 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings, Einband: Taschenbuch, Autor: Cláudia Nalon, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 396, Maße: 235x155x22 mm, Gewicht: 598 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Programmieren / Allgemeines Semantics Software Engineering automated reasoning equational logic and rewriting formal logic higher-order logic logic and verification modal and temporal logics problem solving program semantics programming language proof theory temporal reasoning theorem proving algorithms.
Jetzt bei Ebay:
