LEADER 01806nam  2200433   450 
001 000015809
005 20050718115600.0
010   $a0-444-87647-2
100   $a20030804d1985----km-y0itay0103----ba
101 0 $aeng
102   $aNL
200 1 $aTopics in the theory of computation$eselected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983$fedited by Marek Karpinski, Jan van Leeuwen
210   $aAmsterdam [etc.]$cNorth-Holland$d1985
215   $aIX, 187 p.$cill.$d24 cm.
225 2 $aNorth-Holland mathematics studies$v102
225 2 $aAnnals of discrete mathematics$v24
410  0$12001$aNorth-Holland mathematics studies
410  0$12001$aAnnals of discrete mathematics
606   $aComplessità computazionale
676   $a511$v(21. ed.)$9Principi generali della matematica
691   $a03D15$9Mathematical logic and foundations. Complexity of computation
691   $a68Qxx$9Computer science. Theory of computing
702  1$aKarpinski,$bMarek
702  1$aLeeuwen,$bJan : van
712 12$aInternational conference on foundations of computation theory$f<1983$e; Borgholm, Sweden>
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000015809
996   $aTopics in the theory of computation$982930
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030804$lBAS01$h1607
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1142
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$664762$5S64762$820030804$f51$FRiservati