VLB Suche

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

Stichwort

Autor

Titel

Verlag

ISBN

Grundlagen

Suchergebnisse

Produktdetails

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-41285-4
Preis: 53,49 EUR
Status: lieferbar