Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Schlobach97, ... | Masterarbeit
Schlobach, Stefan
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes, 1996
Hans Jürgen Ohlbach
Completed
28
April
1996
Max-Planck-Institut für Informatik
Programming Logics Group
Expert
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Schlobach97,
AUTHOR = {Schlobach, Stefan},
TITLE = {Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}
AUTHOR = {Schlobach, Stefan},
TITLE = {Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1996},
TYPE = {Master's thesis}
}
Entry last modified by Anja Becker, 07/08/2011
Edit History (please click the blue arrow to see the details) | Editor(s) Christine Kiesel | Created 03/17/1998 11:24:06 AM |
| Revision 1. 0. | Editor Anja Becker Christine Kiesel | Edit Date 08.07.2011 13:31:37 18/03/98 10:23:07 |