Dieses Bild ist zur Zeit nicht verfügbar.

10th International Conference on Automated Deduction

Springer (Verlag)
Erschienen am 1. Juli 1990
Buch
Softcover
688 Seiten
978-0-387-52885-4 (ISBN)
54,80 €inkl. 7% MwSt.
Artikel leider nicht lieferbar

Weitere Details

Als PDF speichern Als Link merken