E-Book, Englisch, Band 2850, 436 Seiten
Vardi / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
2003
ISBN: 978-3-540-39813-4
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
E-Book, Englisch, Band 2850, 436 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-39813-4
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




