VLB Suche

Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)

Drucken

Suchergebnisse

Produktdetails

Logic for Programming and Automated Reasoning

Autor
Herausgegeben von Michel Parigot, Herausgegeben von Andrei Voronkov

Logic for Programming and Automated Reasoning

Untertitel
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
Verlag
Springer-Verlag GmbH
ISBN/EAN
978-3-540-44404-6
Preis
53,49 EUR
Status
lieferbar