Informatik Informatik III TU München
Personen Lehre Lehrstuhl Forschung Suche
laufende Projekte abgeschlossene Projekte Veröffentlichungen
Titel: Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration
Referenz: SLP 1987, San Francisco, California, USA, p. 234-243
Autor(en): Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer
Kenndaten: IEEE-CS 1987, ISBN 0-8186-0799-8
Datum: 04.1987
Autor(en) des Lehrstuhls: Bayer , Rudolf , Univ.-Prof.
laufende Projekte abgeschlossene Projekte Veröffentlichungen
Personen Lehre Lehrstuhl Forschung Suche