Rekord MARC
      00813cz  a2200217n  4500
001     vtls000238126
003     NUKAT
005     20200601001428.0
008     990331n||a|nnnabbn          |a aaa    |c
010 $a n  99002744
024 7 $a http://viaf.org/viaf/69503842 $2 uri
024 7 $a http://isni.org/isni/0000000109843213 $2 uri
024 7 $a https://www.wikidata.org/wiki/Q11589 $2 uri
024 7 $a http://nukat.edu.pl/aut/n  99002744 $2 uri
039 9 $a 202006010014 $b VLOAD $c 202005290525 $d VLOAD $c 201806040023 $d VLOAD $c 201806010507 $d VLOAD $y 200205311314 $z load
040 $a WA U/94KMR $c WA U/KMR
046 $f 1949
100 1 $a Ferrante, Jeanne $d (1949- ).
670 $a Kp. The computational complexity of logical theories /  Jeanne Ferrante, Charles W. Rackoff. - Berlin, 1979.
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