A Unification graph with constraints for intelligent backtracking in deduction systems.
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Andere auteurs: | |
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Karlsruhe
Univ.
1984
|
| Reeks: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
100 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
| Order eBook: |
|
| Order Book: | Login to order |
Search Result 1
Search Result 2
Search Result 3
Search Result 4
Search Result 5
