| Record ID | marc_records_scriblio_net/part25.dat:189424965:1237 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part25.dat:189424965:1237?format=raw |
LEADER: 01237cam 2200277 a 4500
001 96029057
003 DLC
005 19970514150226.9
008 960627s1996 gw a b 101 0 eng
010 $a 96029057
020 $a3540615113 (alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bI57 1996
082 00 $a006.3/3$220
111 2 $aInternational Conference on Automated Deduction$n(13th :$d1996 :$cNew Brunswick, N.J.)
245 10 $aAutomated deduction, CADE-13 :$b13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /$cM.A. McRobbie, J.K. Slaney, eds.
260 $aBerlin ;$aNew York :$bSpringer,$cc1996.
300 $axv, 764 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v1104.$aLecture 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 $aMcRobbie, M. A.$q(Michael A.)
700 1 $aSlaney, J. K.$q(John K.)
830 0 $aLecture notes in computer science ;$v1104.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.