Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template :: Thesis :: Naumann, Stefan


Publications Master Template
Show all entries of:this year (2019)last year (2018)two years ago (2017)Open in Notes
Action:login to update

Thesis - Master's thesis | @MastersThesis | Masterarbeit


Author
Author(s)*:Naumann, Stefan
BibTeX citekey*:Naumann-Diplom97
Language:German

Title, School
Title*:Integration des automatischen Beweisers {SPASS} in die mathematische Assistenzumgebung {OMEGA}
School:Universität des Saarlandes
Type of Thesis*:Master's thesis
Year:1997


Note, Abstract, Copyright
Download Access Level:Public
Download File(s):

Referees, Status, Dates
1. Referee:Siekmann (Fehrer)
2. Referee:Ganzinger, Harald
Supervisor:Siekmann
Status:Completed
Date Kolloquium:15 September 2019

Correlation
MPG Unit:Max-Planck-Institut für Informatik
MPG Subunit:Programming Logics Group
Audience: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}
}





Entry last modified by Uwe Brahm, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)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