Automated Deduction - CADE-25 bei Mercateo günstig kaufen

Produktinformationen

Artikel-Nr.:
858A-9783319214009

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319214009

EAN/GTIN:
9783319214009

Suchbegriffe:

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Weitere Informationen:


Author:	Amy P. Felty; Aart Middeldorp
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Abstract interpretation, Automated reasoning, Complexity, Encryption, Finite models, Higher-order logic, Integer arithmetic, Linear programming