| Record ID | marc_loc_updates/v36.i10.records.utf8:13490299:1288 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:13490299:1288?format=raw |
LEADER: 01288cam a22003134a 4500
001 2001041144
003 DLC
005 20080307114750.0
008 010604s2001 gw a 101 0 eng
010 $a 2001041144
020 $a3540422544 (pbk. : alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.9.A96$bI38 2001
082 00 $a006.3/33$221
111 2 $aIJCAR 2001$d(2001 :$cSiena, Italy)
245 10 $aAutomated reasoning :$bFirst International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /$cRajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2001.
300 $axv, 708 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v2083.$aLecture notes in artificial intelligence
500 $aIncludes index.
650 0 $aAutomatic theorem proving$vCongresses.
650 0 $aComputer logic$vCongresses.
700 1 $aGoré, Rajeev.
700 1 $aLeitsch, Alexander,$d1952-
700 1 $aNipkow, Tobias,$d1958-
830 0 $aLecture notes in computer science ;$v2083.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0816/2001041144-d.html