Sortenlogiken und ihre Automatisierung
Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrücken, Germany
Manfred Kerber,
1994
Available: BiBTeXpdfPostScript
Planverfahren
Lecture Notes, Fachbereich Informatik, Universität des Saarlandes, D-66041 Saarbrücken, Germany
Manfred Kerber,
1993/94
Available: BiBTeXpdfPostScript
On the Representation of Mathematical Concepts and their Translation into First Order Logic
PhD Thesis, Fachbereich Informatik, Universität Kaiserslautern
Manfred Kerber,
1992
Available: BiBTeXpdfPostScript
Beherrschbarkeit von Computersystemen
Lecture Notes, Fachbereich Informatik, Universität Kaiserslautern, Germany
Manfred Kerber, Axel Präcklein, eds.,
1989
Available: BiBTeXpdfPostScript
Mehrwertige Logiken in der KI
Lecture Notes, Fachbereich Informatik, Universität
des Saarlandes, D-66041 Saarbrücken, Germany
Manfred Kerber,
1992/93
Available: BiBTeXpdfPostScript
Gesellschaftliche Verantwortung der Informatiker
Seminar Lecture Notes,
Fachbereich Informatik, Universität Kaiserslautern, Germany
Manfred Kerber, Axel Präcklein, eds.,
1988
Über die Nichtexistenz semistabiler Rang 2 Bündel über P4(C) mit
c1=0 und c2=3
Master Thesis, Fachbereich Mathematik, Universität Kaiserslautern
Manfred Kerber,
1983