TY - `EDBOOK` TI - Deduktionssysteme : Automatisierung des logischen Denkens ET - 2., völlig überarbeitete und erweiterte Auflage PB - Oldenbourg CY - München ; Wien PY - 1992 LA - ger SP - VIII, 291 Seiten N1 - Literaturangaben SN - 3-486-22033-0 SN - 978-3-486-22033-9 KW - Deduktionssystem KW - Deduktionssystem CN - UBN/ST 304 B632(2) CN - Blaesi AN - UBHD-3613355 ER -