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