Automated Deduction – CADE-15

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

15th International Conference on Automated Deduction, Lindau, Germany, July 5-10,1998, Proceedings, Lecture Notes in Computer Science 1421 – Lecture Notes in Artificial Intelligence

ISBN: 3540646752
ISBN 13: 9783540646754
Herausgeber: Claude Kirchner/Helene Kirchner
Verlag: Springer Verlag GmbH
Umfang: xiv, 450 S.
Erscheinungsdatum: 24.06.1998
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1460757 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …