LEADER 01330nam--2200385---45--
001 990003066280203316
005 20080219152554.0
010   $a3-540-37187-7
035   $a000306628
035   $aUSA01000306628
035   $a(ALEPH)000306628USA01
035   $a000306628
100   $a20080219d2006----km-y0ITAy0103-------ba
101 0 $aeng
102   $aDE
200 1 $aAutomated reasoning$eThird international joint conference, IJCAR 2006$eSeattle, WA,USA,August 17-20, 2006$eproceedings$fUlrich Furbach, Natarajan Shankar (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2006
215   $aXV, 677 p.$d24cm
225  2$aLecture notes in artifiacial intelligence$v4130
225  2$aLecture notes in computer science
410  0$12001$aLecture notes in artificial intelligence$v4130
676   $a006.3
702  1$aFURBACH,$bUlrich
702  1$aSHANKAR,$bNatarajan
710 12$aInternational Joint conference$d<3.;$f2006 ;$eSeattle>$0600237
801  0$aITA$bCBS$gISBD
912   $a990003066280203316
951   $a006.3 LNAI 4130$b34046/CBS$c006.3$d00216701
959   $aBK
969   $aSCI
979   $aANGELA$b90$c20080219$lUSA01$h1156
979   $aANGELA$b90$c20080219$lUSA01$h1508
979   $aANGELA$b90$c20080219$lUSA01$h1525
996   $aAutomated reasoning$91022594
997   $aUNISA