Logic for Programming, Artificial Intelligence, and Reasoning

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15,2012, Proceedings, Lecture Notes in Computer Science 7180 – Theoretical Computer Science and General Issues

ISBN: 3642287166
ISBN 13: 9783642287169
Herausgeber: Nikolaj Bjørner/Andrei Voronkov
Verlag: Springer Verlag GmbH
Umfang: xi, 446 S.
Erscheinungsdatum: 24.02.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 3155265 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …