LEADER 01194nam0-22003131i-450-
001 990000515590403321
005 20090305141059.0
010   $a0-7803-3762-X
035   $a000051559
035   $aFED01000051559
035   $a(Aleph)000051559FED01
035   $a000051559
100   $a20020821d1996----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $a37th annual Symposium on foundations of computer science$eproceedings$eoctober 14-16, 1996 Burlington, Vermont$fIEEE computer society, IEEE computer society technical committee on mathematical foundations of comuting
210   $aLos Alamitos, California$cIEEE computer society Press$dİ1996
215   $aXII, 638 p.$cill.$d28 cm
610 0 $aScienza degli elaboratori$aCongressi
676   $a004
710 12$aIEEE annual symposium on foundations of computer science$d<37. ;$f1996 ;$eBurlington, Vermont>$0492140
711 02$aIEEE Computer Society$0317857
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000515590403321
952   $a10 PRO 440$bdie 1925$fDINEL
959   $aDINEL
996   $a37th annual Symposium on foundations of computer science$9331137
997   $aUNINA