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

Druhá časť článku venovaného podaniu uceleného pohľadu na riešenie problému unifikácie a príbuzných unifikačných problémov. Sústredenie sa na zovšeobecnenia unifikácie (unifikácia nekonečných termov, sémantická unifikácia, mnohodruhová unifikácia, unifikácia termov druhého rádu). Prezentácia riešeni...

Full description

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

MARC

LEADER 00000naa a2200000 4500
001 r006715
005 20221125080359.0
041 0 |a slo 
044 |a [CS] 
245 1 0 |a Variácie na tému unifikácia. 2.  |c I. Prívara, P. Ružička 
520 |a Druhá časť článku venovaného podaniu uceleného pohľadu na riešenie problému unifikácie a príbuzných unifikačných problémov. Sústredenie sa na zovšeobecnenia unifikácie (unifikácia nekonečných termov, sémantická unifikácia, mnohodruhová unifikácia, unifikácia termov druhého rádu). Prezentácia riešenia uvedených problémov jednotným spôsobom, a to na symbolickej úrovni. 
610 2 0 |a unifikácia 
610 2 0 |a programovanie 
610 2 0 |a algoritmy 
100 1 |a Prívara, I. 
700 1 |a Ružička, P. 

Similar Items