Vytlačiť
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Ť |