Imatge de la portada

A Unification graph with constraints for intelligent backtracking in deduction systems.

Veure altres versions (5)
Guardat en:
Autor principal: Dilger, Werner
Altres autors: Janson, Agnes
Format: Llibre
Idioma:anglès
Publicat: Karlsruhe Univ. 1984
Col·lecció:Fachbereich Informatik, Univ. Kaiserslautern. Interner Bericht 100
Accés en línia:matching Alma A Unification graph with constraints for intelligent backtracking in deduction systems. (author 13.3%, title 0.0%, shelfmark 2.1%, overall 5.1%)
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
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 
856 2 2 |u https://bibsearch.uibk.ac.at/A Unification graph with constraints for intelligent backtracking in deduction systems.  |y matching Alma A Unification graph with constraints for intelligent backtracking in deduction systems. (author 13.3%, title 0.0%, shelfmark 2.1%, overall 5.1%) 
999 |z 5 

Ítems similars