Handbuch der Informatik - 6.2: DeduktionAutomatisierung der Logik269 Seiten10 Lesestunden1992Bewachen