A Theorem proving associative processor.
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Kaiserslautern
1985
|
| Serie: | Interner Bericht
145 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| Order eBook: |
|
| Order Book: | Login to order |
Search Result 1
Search Result 2
A Unification graph with constraints for intelligent backtracking in deduction systems.
Pubblicazione 1984
Libro
Search Result 3
Search Result 4
Search Result 5
Search Result 6