International Journal of Computing Anticipatory Systems
Keywords – Mathematical Assistant System
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