LEADER 01499nas--2200433---450- 001 990003481110203316 005 20141029172027.0 011 $a1529-3785 035 $a000348111 035 $aUSA01000348111 035 $a(ALEPH)000348111USA01 035 $a000348111 100 $a20110111a----9999km-y-itay50------ba 101 0 $aeng 102 $aUS 110 $aahazz--|||| 200 1 $aACM Transactions on computational logic$fACM - Association for computer machinery. New York 210 $aNew York$cACM - Association for computer machinery 215 $av.$cill.$d26 cm 300 $aComincia nel 2000 300 $aDescrizione basata su Vol.1 n.1(2006)- 300 $aIncluso nel pacchetto: ACM DIGITAL LIBRARY CORE PACKAGE 326 $aTrimestrale 606 0 $aInformatica$xPeriodici$2BNCF 676 $a004.05 712 02$aACM - Association for computer machinery. New York 801 0$aIT$bsalbc$gISBD 856 4$uhttp://tocl.acm.org/$4.$zOnline da workstation autorizzate 912 $a990003481110203316 958 $aSCI$bPER II$c2006-2013;$l2007; 959 $aSE 979 $aCIANATIEMP$b90$c20110111$lUSA01$h1128 979 $aCIANATIEMP$b90$c20110112$lUSA01$h0936 979 $aCIANATIEMP$b90$c20110126$lUSA01$h1230 979 $aCIANATIEMP$b90$c20110207$lUSA01$h1426 979 $aVITTORIANA$b90$c20130207$lUSA01$h1301 979 $aANGELA$b90$c20141029$lUSA01$h1720 996 $aACM Transactions on computational logic$91112788 997 $aUNISA