Počet záznamov: 1
Variácie na tému unifikácia. 2.
Názov Variácie na tému unifikácia. 2. Autorské údaje I. Prívara, P. Ružička Autor Prívara I. Spoluautori Ružička P. Zdrojový dokument Informačné systémy. Roč. 20, č. 2-3 (1991), s. 151-173 Druh dokumentu rozpis článkov z periodík Jazyk dokumentu slovenčina Krajina vydania [CS] Systematika 51 - Matematika Heslá unifikácia * programovanie * algoritmy Anotácia 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. Báza dát ČLÁNKY
článok
Počet záznamov: 1