Handbuch der Informatik - 6.2: DeduktionAutomatisierung der Logik269pages10 heures de lecture1992Prévenez-moi