Logic for Programming, Artificial Intelligence, and Reasoning

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,2010, Revised Selected Papers, Lecture Notes in Computer Science 6355 – Lecture Notes in Artificial Intelligence

ISBN: 3642175104
ISBN 13: 9783642175107
Herausgeber: Edmund M Clarke/Andrei Voronkov
Verlag: Springer Verlag GmbH
Umfang: x, 517 S., 67 s/w Illustr., 4 farbige Illustr.
Erscheinungsdatum: 04.01.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4380694 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …