Rekord MARC
      00844cz  a2200205n  4500
001     vtls000450688
003     NUKAT
005     20180517001543.0
008     980211n||a|nnnabbn          |a aaa    |c
010 $a n  98001253
024 7 $a http://viaf.org/viaf/47656419 $2 uri
024 7 $a http://isni.org/isni/0000000108971547 $2 uri
024 7 $a https://www.wikidata.org/wiki/Q6109434 $2 uri
039 9 $a 201805170015 $b VLOAD $c 201805160507 $d VLOAD $c 201712180012 $d VLOAD $c 201712150501 $d VLOAD $y 200205311201 $z load
040 $a WA U/BWYDZ $c WA U/SZGRZ
100 1 $a Moore, J. Strother $d (1947- ).
667 $a Dep. of Computer Science, Univ. of Texas at Austin, USA and Computational Logic Incorporated, Austin, USA.
670 $a Kp. A computational logic handbook / Robert S. Boyer, J. Strother Moore. - Boston, 1988.
670 $a LCC online
999 $a VIRTUA10         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


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