Completeness, confluence, and related properties of clause graph resolution
1988
Monographie, Hochschulschrift, Gedruckte Ressource
- 185 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Completeness, confluence, and related properties of clause graph resolution
|
---|---|
Autor/in / Beteiligte Person: | Eisinger, Norbert |
Veröffentlichung: | 1988 |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | 185 S. : graph. Darst. |
Schlagwort: |
|
Sonstiges: |
|