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

Rekord MARC
			00744cz a2200205n 4500
001			vtls000209560
003			NUKAT
005			20200608001451.0
008			981230n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 99040021
024	7		$a http://viaf.org/viaf/93678261 $2 uri
024	7		$a http://isni.org/isni/0000000066505221 $2 uri
024	7		$a https://www.wikidata.org/wiki/Q41187382 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 99040021 $2 uri
039		9	$a 202006080014 $b VLOAD $c 202006050524 $d VLOAD $c 201810220015 $d VLOAD $c 201810190505 $d VLOAD $y 200205311256 $z load
040			$a WA U/BWYDZ $c WA U/KMR
100	1		$a Dill, David L.
670			$a Kp. Computer aided verification / David L. Dill (ed.). - Berlin, 1994.
670			$a LCC online
999			$a VIRTUA10 x