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

Rekord MARC
			01852cz a2200433n 4500
001			vtls000470003
003			NUKAT
005			20200717001335.0
008			950811n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 95210060
024	7		$a https://orcid.org/0000-0002-1342-9805 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 95210060 $2 uri
024	7		$a http://viaf.org/viaf/49447624 $2 uri
024	7		$a http://isni.org/isni/0000000116385337 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q27149428 $2 uri
039		9	$a 202007170013 $b VLOAD $c 202007160504 $d VLOAD $c 202004200014 $d VLOAD $c 202004172245 $d VLOAD $y 200205310914 $z load
040			$a KR U/HW $c KR U/HW $d WA U/94ANK
043			$c PL
046			$f 1957
100	1		$a Niwiński, Damian $d (1957- ).
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 Logika. $0 http://nukat.edu.pl/aut/s 95010215 $2 kaba
372			$a Teoria automatów. $0 http://nukat.edu.pl/aut/s 94013545 $2 kaba
372			$a Sztuczna inteligencja. $0 http://nukat.edu.pl/aut/s 94013549 $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
400	1		$a Niwiński, D.
667			$a Prac. Zakładu Logiki Stosowanej Instytutu Informatyki UW.
670			$a Kp. Games for the µ-calculus / Damian Niwiński, Igor Walukiewicz. - Warszawa, 1994.
670			$a Rudiments of µ-calculus / A. Arnold, D. Niwiński. - Amsterdam, 2001.
670			$a UW
670			$a LCC online
999			$a VIRTUA40 x