Konrad Justen

• Turbo Prolog -- Einführung in die Anwendung
• Turbo Prolog - Einführung in die Anwendung
• Logische Untersuchungen über mechanische Beweisverfahren