Počet záznamov: 1
Krivoĭ, S. L.: On the computation of congruent closures on terms
Názov Krivoĭ, S. L.: On the computation of congruent closures on terms Aut.údaje Miroslav Haviar Autor Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
Zdroj.dok. MathSciNet : Mathematical Reviews on the web. online, MR1609197 (99c:08002), pp. [1-2]. - Providence : American Mathematical Society, 1999 Recenz.dok. On the computation of congruent closures on terms / S. L. Krivoĭ. - Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997 Kľúč.slová matematika - mathematics recenzie - reviews Jazyk dok. angličtina Krajina Spojené štáty Systematika 51 Kategória publikačnej činnosti EDI Číslo archívnej kópie 43320 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ 
článok
Počet záznamov: 1