Košík

Záznam bol pridaný do košíka

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