Keywords – Automated Theorem Proving

Jorg Siekmann, Helmut Horacek, Michael Kohlhase, C. Benzmtiller, L. Cheikhrouhou, D. Fehrer, A. Fiedler, S. Hess, K. Konrad, A. Meier, E. Melis and V. Sorge