Počet záznamov: 1
Krivoĭ, S. L.: On the computation of congruent closures on terms
SYS 0263950 LBL -----naa--22--------450- 005 20220617152400.6 017 70
$2 DOI 035 $2 CREPC2 100 $a 20181011d1999łłłłm y-slo-03 ----ba 101 $a eng 102 $a US 200 1-
$a Krivoĭ, S. L.: On the computation of congruent closures on terms $f Miroslav Haviar 463 -1
$1 011 $a 2167-5163 $1 200 1 $a MathSciNet $b elektronický zdroj $e Mathematical Reviews on the web $v online, MR1609197 (99c:08002), pp. [1-2] $1 205 $a 1. vyd. $1 210 1 $a Providence $c American Mathematical Society $d 1999 470 -1
$1 011 $a 0023-1274 $1 200 1 $a On the computation of congruent closures on terms $f S. L. Krivoĭ $v Kibernetika i Sistemnyĭ Analiz, no. 4 (1997), pp. 121-133 $1 210 1 $a Kiev $c Natsional′naya Akademiya Nauk Ukrainy $d 1997 $1 700 1 $3 umb_un_auth*0270390 $a Krivoĭ $b S. L. $4 070 $9 100 606 0-
$3 umb_un_auth*0036218 $a matematika $X mathematics 606 0-
$3 umb_un_auth*0037694 $a recenzie $X reviews 615 $n 51 $a Matematika $2 konspekt 675 $a 51 $v 3. $z slo 700 -0
$3 umb_un_auth*0002686 $a Haviar $b Miroslav $p UMBFP10 $4 070 $9 100 $f 1965- $T Katedra matematiky 801 -0
$a SK $b BB301 $g AACR2 $9 unimarc sk T85 $x existuji fulltexy
Počet záznamov: 1