A Unification graph with constraints for intelligent backtracking in deduction systems.
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | |
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Karlsruhe
Univ.
1984
|
| Series: | Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht
100 |
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 196561 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Dilger, Werner | |
| 245 | 1 | 0 | |a A Unification graph with constraints for intelligent backtracking in deduction systems. |
| 246 | 3 | |a DILGER, Werner. | |
| 264 | 1 | |a Karlsruhe |b Univ. |c 1984 | |
| 300 | |a 37 gez. Bl. |c 4° | ||
| 490 | 0 | |a Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht |v 100 | |
| 500 | |a DILGER, Werner. -- A Unification graph with constraints for -- intelligent backtracking in deduction -- systems. Werner Dilger, Agnes Janson. -- -- Karlsruhe: Univ. 1984. 37 gez. Bl. 4° -- (Fachbereich Informatik, Univ. Kaiserslautern. -- Interner Bericht. 100.) -- 1984: B 1279. -- Ir. | ||
| 700 | 1 | |a Janson, Agnes | |
| 852 | |c T 20.678/100 | ||
| 999 | |a Monographie | ||
| 591 | |a description: A Unification graph with constraints for intelligent backtracking in deduction Systems.Werner Dilger,Agnes Janson. Karlsruhe:Univ.1984.37 gez.B.4 Fachbereich Informatik,Univ.Kaiserslautern.Interner Bericht loo. 1984:B 1279. Ir. |a signature: T 2o.678/loo |a author: DILGER, Werner. |a published: 1984 |