Počet záznamov: 1
Krivoĭ, S. L.: On the computation of congruent closures on terms
- Haviar, Miroslav, 1965-
Krivoĭ, S. L.: On the computation of congruent closures on terms / Miroslav Haviar - Recenzia na: On the computation of congruent closures on terms / Krivoĭ, S. L.. -- Kiev : Natsional′naya Akademiya Nauk Ukrainy, 1997. -- ISSN 0023-1274. -- Kibernetika i Sistemnyĭ Analiz, no. 4 (1997), pp. 121-133
In MathSciNet : Mathematical Reviews on the web. -- Providence : American Mathematical Society, 1999. -- ISSN 2167-5163. -- online, MR1609197 (99c:08002), pp. [1-2]
Počet záznamov: 1