Klimaneutrales UnternehmenFaire PreiseSchneller & kostenloser Versand
Für die Filterung wurden keine Ergebnisse gefunden!
frontend/listing/product-box/box-basic.tpl
Automated Deduction - CADE-25
  • Kartoniert
  • 640 Seiten
  • Erschienen 2015
  • Springer-Verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated Deduction - CADE-25
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were...
89,99 €

Zuletzt angesehen