LEADER 01152nam0-22003011i-450- 001 990000515610403321 005 20090304153026.0 010 $a0-8186-7183-1 035 $a000051561 035 $aFED01000051561 035 $a(Aleph)000051561FED01 035 $a000051561 100 $a20020821d1995----km-y0itay50------ba 101 0 $aeng 105 $aa-------101yy 200 1 $a36th annual Symposium on foundations of computer science$eproceedings$eoctober 23-25, 1995 Milwaukee, Wisconsin$fsponsored by IEEE Computer society technical Committee on mathematical foundations of computing 210 $aLos Alamitos, California$cIEEE Computer society press$dİ1995 215 $aXIII, 735 p.$cill.$d28 cm 610 0 $aScienza degli elaboratori$aCongressi 676 $a004 710 12$aIEEE annual symposium on foundations of computer science$d<36. ;$f1995 ;$eMilwaukee, Wisconsin> 711 02$aIEEE Computer Society Technical Committee o n Mathematica Foundations of Computing 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000515610403321 952 $a10 PRO 427$bdis 3507$fDINEL 959 $aDINEL 997 $aUNINA