Theory Unification in abstract clause graphs
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Format: | Knjiga |
| Jezik: | angleščina |
| Izdano: |
Kaiserslautern
1985
|
| Serija: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
142 |
| Oznake: |
Brez oznak, prvi označite!
|
| Order eBook: |
|
| Order Book: | Login to order |
Podobne knjige/članki: Theory Unification in abstract clause graphs
- A Unification graph with constraints for intelligent backtracking in deduction systems.
- A Unification graph with constraints for intelligent backtraining in deduction systems
- The Theory of graphs in linguistics
- The Unification of the world. Proposals of a diplomatist.
- County Unification in Kansas.
- The Risorgimento and the unification of Italy.