LEADER 01276nam--2200373---450 
001 990002962660203316
005 20180312154725.0
010   $a3-540-22345-2
035   $a000296266
035   $aUSA01000296266
035   $a(ALEPH)000296266USA01
035   $a000296266
100   $a20070813d2004----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aAutomated reasoning$eSecond international joint conference, IJCAR 2001$eCork, Ireland, July 2004$eproceedings$fDavid Basin, Michael Rusinowitch(eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $aXII, 491 p.$cill.$d20 cm
225  2$aLecture notes in artifiacial intelligence$v3097
225  2$aLecture notes in computer science
410   $12001$aLecture notes in artificial intelligence$v3097
676   $a006.3
702  1$aBASIN,$bDavid
702  1$aRUSINOWITCH,$bMichael
710 12$aInternational Joint conference$d<2. ;$f2004 ;$eCork>$0597846
801  0$aITA$bCBS$gISBD
912   $a990002962660203316
951   $a006.3 LNAI 3097$b31171/CBS$c006.3$d00215492
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070813$lUSA01$h1005
979   $aANGELA$b90$c20070821$lUSA01$h1550
996   $aAutomated reasoning$91026986
997   $aUNISA