Logic for Programming, Artificial Intelligence, and Reasoning

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19,2013, Proceedings, Lecture Notes in Computer Science 8312 – Theoretical Computer Science and General Issues

ISBN: 3642452205
ISBN 13: 9783642452208
Herausgeber: Ken McMillan/Aart Middeldorp/Andrei Voronkov
Verlag: Springer Verlag GmbH
Umfang: xiv, 794 S., 178 s/w Illustr., 794 p. 178 illus.
Erscheinungsdatum: 02.12.2013
Auflage: 1/2013
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5901170 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …