Variácie na tému unifikácia. 1.

Pohľad na riešenie problému unifikácie a príbuzných unifikačných problémov. Efektívne algoritmy na riešenie problému unifikácie opierajúce sa o tri základné myšlienky - Robinsonovu, Huetovu, resp. Martelliho a Montanariho. Spoločným motívom implementácie týchto myšlienok je kompaktná reprezentácia s...

Descripción completa

Detalles Bibliográficos

Autor principal:	Prívara, I.
Otros Autores:	Ružička, P.
Formato:	Capítulo de libro
Lenguaje:	eslovaco
Materias:	programovanie logika jazyky programovacie jazykoveda unifikácia algoritmy
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!