Rekord MARC
      00530cz  a2200157n  4500
001     vtls000521088
003     NUKAT
005     20130322000610.0
008     980331n||a|nnnabbn          |a aaa    |c
010 $a n  98003195
039 9 $a 201303220006 $b VLOAD $c 201303210015 $d VLOAD $y 200205311209 $z load
040 $a KR U/maj $c KR U/maj
100 1 $a Pratt, Vaughan.
667 $a Computer Science Department, Stanford University.
670 $a Satisfiability of inequalities in a poset / Vaughan Pratt, Jerzy Tiuryn. - Warsaw, 1995.
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


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