Automated Deduction – CADE-11

Lieferzeit: Lieferbar innerhalb 14 Tagen

106,99 

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18,1992.Proceedings, Lecture Notes in Computer Science 607 – Lecture Notes in Artificial Intelligence

ISBN: 3540556028
ISBN 13: 9783540556022
Herausgeber: Deepak Kapur
Verlag: Springer Verlag GmbH
Umfang: xvi, 800 S.
Erscheinungsdatum: 27.05.1992
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1435305 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …