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

Full description

Saved in:
Main Author: Prívara, I.
Other Authors: Ružička, P.
Format: Book Chapter
Language:Slovak
Subjects:
programovanie
logika
jazyky programovacie
jazykoveda
unifikácia
algoritmy
Tags: Add Tag
No Tags, Be the first to tag this record!

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. 

Similar Items