TY - BOOK A1 - Socher, Rolf A1 - Johann, Patricia T1 - Deduction systems KW - Deduktionssystem Y1 - 2015 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/1291 SN - 0-387-94847-3 PB - Springer CY - New York [u.a.] ER -