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

Rekord MARC
			00600cz a2200181n 4500
001			vtls000241422
003			NUKAT
005			20121026000538.0
008			960424n\|\|a\|nnnabbn \|a aaa \|c
010			$a n 96100455
039		9	$a 201210260005 $b VLOAD $c 201210250013 $d VLOAD $y 200205310941 $z load
040			$a GD U/TZ $c GD U/TZ
100	1		$a Fitting, Melvin $d (1942- ).
400	1		$a Fitting, Melvin Chris.
667			$a Dep. of Mathematics and Computer Science, New York Univ.
670			$a LCN
670			$a First-order logic and automated theorem proving / Melvin Fitting. - New York, 1996.
999			$a VIRTUA40 x

Katalog Nukat

Biblioteka Uniwersytecka w Warszawie
ul. Dobra 56/66
00-312 Warszawa

(+48) 22 55 25 351

(+48) 22 55 25 655

nukat@uw.edu.pl

NUKAT

Wersja 3.2.SP2 © Innovative Interfaces, Inc. © 2019 NUKAT. Wszelkie prawa zastrzeżone | Polityka cookies | Deklaracja dostępności