Automated Reasoning with Analytic Tableaux and Related Methods bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783030290252

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030290252

EAN/GTIN:
9783030290252

Suchbegriffe:

28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

Weitere Informationen:


Author:	Serenella Cerrito; Andrei Popescu
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, automated reasoning, computer science, differential equations, formal logic, knowledge base, knowledge-based system, linear logic, modal logic, problem solving, programming languages