Automated Reasoning with Analytic Tableaux and Related Methods Andrei Popescu
53,49 €
Titel: Automated Reasoning with Analytic Tableaux and Related Methods, Untertitel: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings, Einband: Taschenbuch, Autor: Andrei Popescu, Verlag: Springer International Publishing, Springer Nature Switzerland, Sprache: Englisch, Seiten: 500, Maße: 235x155x27 mm, Gewicht: 750 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence Computer Science Linear Logic Programming languages Software Engineering Software Evaluation Specifications automated reasoning differential equations formal logic knowledge base knowledge-based system modal logic problem solving satisfiability sequent calculus theorem proving verification.
Jetzt bei Ebay:
