E-Book, Englisch, 568 Seiten
Gramlich / Miller / Sattler Automated Reasoning
Erscheinungsjahr 2012
ISBN: 978-3-642-31365-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings
E-Book, Englisch, 568 Seiten
Reihe: Lecture Notes in Artificial Intelligence
ISBN: 978-3-642-31365-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark




