Automation of First- and Higher-Order Logic
Einführung in die Theorie und Praxis des automatisierten Theorembeweisens mit Fokus auf klassische Aussagenlogik, Logik erster Stufe und höherer Stufe sowie Implementierung von Beweiskalkülen mit funktionalen und agentenorientierten Programmiersprachen.