Universitšt Karlsruhe
Mehrsortige Logik in einem Lernenden Beweiser

Diplomarbeit

[1]Sabine Glesner, Mehrsortige Logik in einem Lernenden Beweiser, Technische Hochschule Darmstadt, Fachbereich Informatik, March 1996.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Login
Links