Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Brinker2000, ... | Masterarbeit - German
Brinker, Christof
Geometrisches Schließen mit SPASS
Universität des Saarlandes, January, 2000
Harald Ganzinger
Jörg Siekmann
Christoph Weidenbach
Completed
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Brinker2000,
AUTHOR = {Brinker, Christof},
TITLE = {Geometrisches Schließen mit SPASS},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2000},
TYPE = {Master's thesis}
MONTH = {January},
}
AUTHOR = {Brinker, Christof},
TITLE = {Geometrisches Schließen mit SPASS},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {2000},
TYPE = {Master's thesis}
MONTH = {January},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christoph Weidenbach | Created 03/26/2000 09:14:32 PM |
| Revisions 4. 3. 2. 1. 0. | Editor(s) Uwe Brahm Manfred Jaeger Christine Kiesel Christine Kiesel Christine Kiesel | Edit Dates 10/30/2005 12:14:34 AM 06/09/2001 16:57:07 06.04.2001 02:49:57 PM 06.04.2001 02:49:08 PM 26/03/2000 21:14:32 |