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...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Prívara, I.
Weitere Verfasser:	Ružička, P.
Format:	Buchkapitel
Sprache:	Slowakisch
Schlagworte:	programovanie logika jazyky programovacie jazykoveda unifikácia algoritmy
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!