| Record ID | marc_records_scriblio_net/part21.dat:64874189:1151 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part21.dat:64874189:1151?format=raw |
LEADER: 01151pam 2200265 a 4500
001 90010125
003 DLC
005 19990716000000.0
008 900718s1990 gw a 101 0 eng
010 $a 90010125
020 $a0387528857 (U.S.)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A96$bI57 1990
082 00 $a511.3$220
111 2 $aInternational Conference on Automated Deduction$n(10th :$d1990 :$cKaiserslautern, Germany)
245 10 $aProceedings :$b10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /$cM.E. Stickel, (ed.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1990.
300 $axvi, 688 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v449.$aLecture notes in artificial intelligence
504 $aIncludes biblioigraphical references and index.
650 0 $aAutomatic theorem proving$xCongresses.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 1 $aStickel, M. E.$q(Mark E.),$d1947-
830 0 $aLecture notes in computer science ;$v449.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.