Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Naumann-Diplom97, ... | Masterarbeit - German
Naumann, Stefan
Integration des automatischen Beweisers {SPASS} in die mathematische Assistenzumgebung {OMEGA}
Universität des Saarlandes, 1997
Public
Download File(s):
Siekmann (Fehrer)
Ganzinger, Harald
Siekmann
Completed
3
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
BibTeX Entry:
@MASTERSTHESIS{Naumann-Diplom97,
AUTHOR = {Naumann, Stefan},
TITLE = {Integration des automatischen Beweisers {SPASS} in die mathematische Assistenzumgebung {OMEGA}},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
}
AUTHOR = {Naumann, Stefan},
TITLE = {Integration des automatischen Beweisers {SPASS} in die mathematische Assistenzumgebung {OMEGA}},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 02/13/1998 10:13:50 AM |
| Revisions 4. 3. 2. 1. 0. | Editor(s) Uwe Brahm Christine Kiesel Uwe Brahm Christine Kiesel Christine Kiesel | Edit Dates 05/05/2007 09:46:09 AM 14.09.2001 03:28:55 PM 04/27/99 09:36:15 PM 13/02/98 14:31:24 13/02/98 10:29:28 |