Completeness, confluence, and related properties of clause graph resolution / von Norbert Eisinger
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | 1988 |
| Year of Publication: | 1988 |
| Language: | English |
| Physical Description: | 185 S.; graph. Darst.; 21 cm |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| ac_no: | AC00036695 |
|---|---|
| Hierarchical level: | Monograph |
| Statement of Responsibility: | von Norbert Eisinger |