|
|
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.
|
|