A Unification graph with constraints for intelligent backtracking in deduction systems.
Saved in:
| Hovedforfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Karlsruhe
Univ.
1984
|
| Serier: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
100 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Emne beskrivelse: | DILGER, Werner. -- A Unification graph with constraints for -- intelligent backtracking in deduction -- systems. Werner Dilger, Agnes Janson. -- -- Karlsruhe: Univ. 1984. 37 gez. Bl. 4° -- (Fachbereich Informatik, Univ. Kaiserslautern. -- Interner Bericht. 100.) -- 1984: B 1279. -- Ir. |
|---|---|
| Fysisk beskrivelse: | 37 gez. Bl. 4° |