Krivoĭ, S. L.: On the computation of congruent closures on terms

Počet záznamov: 1

Názov	Krivoĭ, S. L.: On the computation of congruent closures on terms
Aut.údaje	Miroslav Haviar
Autor	Haviar Miroslav 1965- UMBFP10 - Katedra matematiky
Zdroj.dok.	MathSciNet : Mathematical Reviews on the web. online, MR1609197 (99c:08002), pp. [1-2]. - Providence : American Mathematical Society, 1999
Báza dát	xpca - PUBLIKAČNÁ ČINNOSŤ
Katal.org.	BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici

článok

Počet záznamov: 1