A Unification graph with constraints for intelligent backtracking in deduction systems.
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Karlsruhe
Univ.
1984
|
| Sarja: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
100 |
| Linkit: | 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%) |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| Order eBook: |
|
| Order Book: | Login to order |
Lisää ensimmäinen kommentti!