zobacz khw | Prosto do informacji - katalog zbiorów polskich bibliotek naukowych

Rekord MARC
			01712cz a2200397n 4500
001			vtls000626104
003			NUKAT
005			20200617002018.0
008			970117n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 97030716
024	7		$a https://orcid.org/0000-0002-0285-5606 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 97030716 $2 uri
024	7		$a http://viaf.org/viaf/37173619 $2 uri
024	7		$a http://isni.org/isni/000000003565032X $2 uri
024	7		$a https://www.wikidata.org/wiki/Q26693952 $2 uri
039		9	$a 202006170020 $b VLOAD $c 202006160504 $d VLOAD $c 202004270019 $d VLOAD $c 202004242246 $d VLOAD $y 200205311035 $z load
040			$a KR U/HW $c KR U/HW
043			$c PL
046			$f 1950
100	1		$a Tiuryn, Jerzy $d (1950- ).
368			$d prof. dr hab.
370			$c Polska. $0 http://nukat.edu.pl/aut/s 94110000 $2 kaba
372			$a Nauczanie akademickie. $0 http://nukat.edu.pl/aut/s 97050108 $2 kaba
372			$a Bioinformatyka. $0 http://nukat.edu.pl/aut/s 2003103289 $2 kaba
372			$a Matematyka. $0 http://nukat.edu.pl/aut/s 94013666 $2 kaba
372			$a Informatyka. $0 http://nukat.edu.pl/aut/s 94310118 $2 kaba
373			$a Uniwersytet Warszawski. $0 http://nukat.edu.pl/aut/n 93081332
374			$a Nauczyciele akademiccy. $0 http://nukat.edu.pl/aut/s 97050877 $2 kaba
374			$a Matematycy. $0 http://nukat.edu.pl/aut/s 94013667 $2 kaba
374			$a Informatycy. $0 http://nukat.edu.pl/aut/s 97055158 $2 kaba
375			$a 1 $2 iso5218
377			$a pol $a eng
667			$a Prof., informatyka - teoria obliczeń, logika matematyczna.
670			$a INP'1992/93
670			$a Kp. Equational axiomatization of bicoercibility for polymorphic types / Jerzy Tiuryn. - Warszawa, 1995.
999			$a VIRTUA40 x