Automated Deduction - CADE-25 – 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
– Buch gebraucht, antiquarisch & neu kaufen
5 Treffer in
Bücher
gebraucht
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Deduction - CADE-25
Aart Middeldorp
Springer International Publishing
, 30.07.2015, TaschenbuchISBN: 9783319214009
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Deduction - CADE-25
Felty, Amy P. Middeldorp, Aart
Springer International Publishing
, 2015, Kartoniert / BroschiertISBN: 9783319214009
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Deduction - CADE-25 / 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings / Aart Middeldorp (u. a.) / Taschenbuch / xxviii / Englisch / 2015
Aart Middeldorp
Springer International Publishing
, 2015, TaschenbuchISBN: 9783319214009
Neuware
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence, Band 9195).
Felty, Amy P.; Middeldorp, Aart (Eds.)
Springer International Publishing 2015
ISBN: 9783319214009
Zustand: gebraucht; sehr gut
Dieses Bild ist kein Original-Foto des angebotenen Exemplars. Abweichungen sind möglich.
Automated Deduction - CADE-25
Herausgegeben:Felty, Amy P.; Middeldorp, Aart
Springer / Springer International Publishing / Springer, Berlin
, SoftcoverISBN: 9783319214009
Neuware