Preprocessing Techniken fuer schnellere Inferenz mit boolschen Typen im automatischen Beweisen in der Logik hoeherer Stufe / von Hans Jörg Schurr. Wien, 2017
Inhalt