Einführung in die Markgraf-Karl-Refutation-Procedure
Werner Dilger ; Jürgen Müller ; Wolfgang Womann
| Year of publication: |
1981
|
|---|---|
| Authors: | Dilger, Werner ; Müller, Jürgen ; Womann, Wolfgang |
| Publisher: |
Kaiserslautern |
| Extent: | 39 S. |
|---|---|
| Series: | Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik. - Kaiserslautern. - Vol. 40 |
| Type of publication: | Book / Working Paper |
| Source: |
Persistent link: https://www.econbiz.de/10004046291