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

Rekord MARC
			01612cz a2200349n 4500
001			vtls000424273
003			NUKAT
005			20160316001438.0
008			960125n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 95402627
039		9	$a 201603160014 $b VLOAD $c 201603151252 $d fhw $c 201603141100 $d vpw $c 201001270014 $d VLOAD $y 200205310929 $z load
040			$a WR U/ms $c WR U/ms $d WA U/BKM $d WA U/KMR $d WA 35/BJ $d WA 72/OMW
100	1		$a Marek, Wiktor.
400	1		$a Marek, V. Wiktor.
400	1		$a Marek, V. W.
400	1		$a Marek, W.
400	1		$a Marek, Victor W.
400	1		$a Marek, Wictor.
667			$a Matematyk, prof. w Instytucie Matematyki Polskiej Akademii Nauk.
670			$a PB'86
670			$a INP'85
670			$a Matematycy polscy. - Warszawa, 1993
670			$a Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek i Janusz Onyszkiewicz. - Wyd. 2. - Warszawa, 1975.
670			$a INP'1983
670			$a Kp. Logic programming and nonmonotonic reasoning / V. W. Marek, A. Nerode, M. Truszczyński (eds.). - Berlin, 1995. $b Red.
670			$a Kp. Set theory and hierarchy theory / edited by W. Marek, M. Srebrny, and A. Zarach. - Berlin, 1976.
670			$a Introduction to mathematics of satisfiability / Victor W. Marek. - Boca Raton, cop. 2009.
670			$a S. domowa W. Marka, 25.01.10 $u http://www.cs.uky.edu/~marek/
670			$a Introduction to propositional satisfiability / Victor Marek. - [London], cop. 2014.
675			$a KjK
999			$a VIRTUA50 x
999			$a VTLSSORT008001000400100040004001400240034004667067006701670267036704670567066707670867096750*9992