Informatik Informatik III TU München
Personen Lehre Lehrstuhl Forschung Suche
laufende Projekte abgeschlossene Projekte Veröffentlichungen
Titel: Combining Deduction by Certainty with the Power of Magic
Referenz: DOOD 1989, Kyoto, Japan, p.103-122
Autor(en): Helmut Schmidt, Nikolaus Steger, Ulrich Güntzer, Werner Kießling, Rüdiger Azone, Rudolf Bayer
Kenndaten: North-Holland/Elsevier Science Publishers 1990, ISBN 0-444-88433-5
Datum: 12.1989
Autor(en) des Lehrstuhls: Bayer , Rudolf , Univ.-Prof.
laufende Projekte abgeschlossene Projekte Veröffentlichungen
Personen Lehre Lehrstuhl Forschung Suche