

Automated Deduction - CADE-25, Fachbücher von Aart Middeldorp, Amy P. Felty
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings.
Finde die besten Angebote
Bester Preis26 Punkte

Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer