Theory Unification in abstract clause graphs
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Kaiserslautern
1985
|
| Sraith: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
142 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| Order eBook: |
|
| Order Book: | Login to order |
Míreanna comhchosúla: 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
- Graph-Grammatiken. Theorie, Anwendungen, Implimentierung
- The Theory of graphs in linguistics (La teoria de los graficos en la linguistica [Engl.])
- The Risorgimento and the unification of Italy.