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...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | Capitolo di libro |
| Lingua: | slovacco |
| Soggetti: | |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|