A Unification graph with constraints for intelligent backtracking in deduction systems.
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Karlsruhe
Univ.
1984
|
| Edice: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
100 |
| On-line přístup: | matching Alma A Unification graph with constraints for intelligent backtracking in deduction systems. (author 13.3%, title 0.0%, shelfmark 2.1%, overall 5.1%) |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Popis jednotky: | 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. |
|---|---|
| Fyzický popis: | 37 gez. Bl. 4° |