Completeness, confluence, and related properties of clause graph resolution
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
London u.a.
Pitman u.a.
1991
|
| Schriftenreihe: | Research notes in artificial intelligence
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Zugl.: [Kaiserslautern, Univ., FB Informatik,] Diss. [1988] |
|---|---|
| Beschreibung: | 181 S Ill 25 cm |
| ISBN: | 0273088408 0-273-08840-8 1558601953 1-55860-195-3 |