KRMT: Logic-based knowldege representation for mathematic/technical knowledge
Prof. Dr. Michael Kohlhase
IdM-login
German
Friedrich-Alexander-Universität Erlangen-Nürnberg