E-Book, Englisch, Band 4, 208 Seiten
Reihe: Automated Reasoning Series
Stachniak Resolution Proof Systems
Erscheinungsjahr 2012
ISBN: 978-94-009-1677-7
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
An Algebraic Theory
E-Book, Englisch, Band 4, 208 Seiten
Reihe: Automated Reasoning Series
ISBN: 978-94-009-1677-7
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark




