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

Rekord MARC
			01000cz a2200229n 4500
001			vtls000494347
003			NUKAT
005			20200416001820.0
008			011005n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 01719574
024	7		$a http://viaf.org/viaf/7513198 $2 uri
024	7		$a http://isni.org/isni/000000010951855X $2 uri
024	7		$a https://www.wikidata.org/wiki/Q33138766 $2 uri
024	7		$a http://nukat.edu.pl/aut/n 01719574 $2 uri
039		9	$a 202004160018 $b VLOAD $c 202004150524 $d VLOAD $c 201901140011 $d VLOAD $c 201901110508 $d VLOAD $y 200205311642 $z load
040			$a TOR U/MH $c TOR U/MM
046			$f 1962
100	1		$a Paulin-Mohring, Christine $d (1962- ).
400	1		$a Mohring, Christine Paulin-.
670			$a Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring, eds. - Berlin ; New York, 1998. $b (Univ. Paris-Sud, France)
670			$a http://www.lri.fr/~paulin/
999			$a VIRTUA10 x