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

Gespeichert in:
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!

MARC

LEADER 00000naa a2200000 4500
001 r004735
005 20221125080358.3
041 0 |a slo 
044 |a [CS] 
245 1 0 |a Variácie na tému unifikácia. 1.  |c I. Prívara, P. Ružička 
520 |a 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 spoločných podtermov v terme. 
610 2 0 |a programovanie 
610 2 0 |a logika 
610 2 0 |a jazyky programovacie 
610 2 0 |a jazykoveda 
610 2 0 |a unifikácia 
610 2 0 |a algoritmy 
100 1 |a Prívara, I. 
700 1 |a Ružička, P. 

Ähnliche Einträge