LEADER 00918nam0-22003131i-450-
001 990000470560403321
005 20090220120015.0
010   $a3-540-15648-8
035   $a000047056
035   $aFED01000047056
035   $a(Aleph)000047056FED01
035   $a000047056
100   $a20020821d1985----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aLogics of programs$eBrooklyn, june 17-19, 1985, proceedings$fedited by Rohit Parikh
210   $aBerlin ; Heidelberg$cSpringer-Verlag$dİ1985
215   $a424 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v193
610 0 $aProgrammi per computer$aCongressi
676   $a005
702  1$aParikh,$bRohit
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470560403321
952   $a10 PRO 221$b513 DIS$fDINEL
959   $aDINEL
996   $aLogics of programs$9332017
997   $aUNINA