LEADER 01460nam--2200397---450- 001 990002966330203316 005 20070828133657.0 010 $a3-540-28931-3 035 $a000296633 035 $aUSA01000296633 035 $a(ALEPH)000296633USA01 035 $a000296633 100 $a20070828d2005----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $aa|||||||001yy 200 1 $aAutomated reasoning with analytic tableaux and related methods$eInternational conference, TABLEAUX 2005$eKoblenz, Germany, September 14-17, 2005$eproceedings$fBernhard Beckert(Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2005 215 $aXIII, 342 p.$cill.$d24 cm 225 2 $aLecture notes in arteficial intelligence$v3702 225 $aLecture notes in computer science 410 $12001$aLecture notes in arteficial intelligence$v3702 461 1$1001-------$12001 610 0 $aIntelligenza artificiale$xCongressi$yKoblenz$z2005 610 0 $aLogica matematica$xCongressi$yKoblenz$z2005 676 $a006.3 702 1$aBECKERT,$bBernhard 710 12$aInternational conference, TABLEAUX 2005$f<2005 ;$eKoblenz>$0598080 801 0$aIT$bCBS$gISBD 912 $a990002966330203316 951 $a006.3 LNAI 3702$b32294/CBS$c006.3$d00112814 959 $aBK 969 $aSCI 979 $aSENATORE$b90$c20070828$lUSA01$h1336 996 $aAutomated reasoning with analytic tableaux and related methods$91026503 997 $aUNISA LEADER 01058nam--2200361---450- 001 990002195460203316 005 20090401103320.0 035 $a000219546 035 $aUSA01000219546 035 $a(ALEPH)000219546USA01 035 $a000219546 100 $a20041119d1982----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> giovani e il mondo del lavoro 210 $aMilano$cF. Motta$dstampa 1982 215 $a12, 241 p.$cill.$d24 cm 300 $aIn testa al front.: Premio giornalistico "I Giovani negli Anni Ottanta". - 2. ed. 410 0$12001 454 1$12001 461 1$1001-------$12001 606 $aGiovani$xOcupazione$xScritti 676 $a331.3412 801 0$bsalbc$gISBD 912 $a990002195460203316 951 $a331.341 GIO 1 (ISP V 258)$b3747 E.C.$cISP V$d00204446 959 $aBK 969 $aECO 979 $aSIAV1$b10$c20041119$lUSA01$h1754 979 $aRSIAV3$b90$c20090401$lUSA01$h1033 996 $aGiovani e il mondo del lavoro$91032731 997 $aUNISA