Automated Reasoning bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783030510732

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030510732

EAN/GTIN:
9783030510732

Suchbegriffe:

10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Weitere Informationen:


Author:	Nicolas Peltier; Viorica Sofronie-Stokkermans
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, automata theory, automated reasoning, computer programming, formal languages, formal logic, linguistics, modal logic, model checking, satisfiability, semantics