| Record ID | marc_loc_updates/v36.i10.records.utf8:10043025:1341 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:10043025:1341?format=raw |
LEADER: 01341cam a2200289 a 4500
001 98028492
003 DLC
005 20080307110452.0
008 980605s1998 gw a b 101 0 eng
010 $a 98028492
020 $a3540646752 (softcover : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bI57 1998
082 00 $a006.3/3$221
111 2 $aInternational Conference on Automated Deduction$n(15th :$d1998 :$cLindau, Bavaria, Germany)
245 10 $aAutomated deduction, CADE-15 :$b15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /$cClaude Kirchner, Hélène Kirchner, eds.
260 $aBerlin ;$aNew York :$bSpringer,$cc1998.
300 $axiv, 441 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v1421. Lecture notes in artificial intelligence
504 $aIncludes bibliographical references and index.
650 0 $aAutomatic theorem proving$xCongresses.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 1 $aKirchner, Claude.
700 1 $aKirchner, H.$q(Hélène)
830 0 $aLecture notes in computer science ;$v1421.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/98028492-d.html