Automated Deduction - CADE 27 bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783030294359

Hersteller:
Springer Verlag

Herst.-Nr.:
9783030294359

EAN/GTIN:
9783030294359

Suchbegriffe:

27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

Weitere Informationen:


Author:	Pascal Fontaine
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, artificial intelligence, automata theory, classification, computability and decidability, computer architecture, decision procedure, first order logic, formal logic, model checking, parallel processing systems, problem solving