E-Book, Englisch, 470 Seiten
Baaz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
2002
ISBN: 978-3-540-36078-0
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
E-Book, Englisch, 470 Seiten
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-540-36078-0
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




