Title: Grundlagen des maschinellen Beweisens
Subjects: Automatisches Beweisverfahren, Automatisiertes Beweisverfahren