| Record ID | marc_loc_2016/BooksAll.2016.part23.utf8:76019989:1290 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part23.utf8:76019989:1290?format=raw |
LEADER: 01290cam a2200289 a 4500
001 93243523
003 DLC
005 20130829075020.0
008 931221s1993 gw a b 100 0 eng
010 $a 93243523
020 $a3540569448 (Berlin : acid-free paper
020 $a0387569448 (New York : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.L73 1993
082 00 $a006.3$220
111 2 $aLPAR (Conference)$n(4th :$d1993 :$cSaint Petersburg, Russia)
245 10 $aLogic programming and automated reasoning :$b4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings /$cA. Voronkov, ed.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1993.
300 $axiii, 386 p. :$bill. ;$c25 cm.
490 1 $aLecture notes in computer science ;$v698.$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references.
650 0 $aLogic programming$vCongresses.
650 0 $aAutomatic theorem proving$vCongresses.
700 1 $aVoronkov, Andrei,$d1959-
830 0 $aLecture notes in computer science ;$v698.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/93243523-d.html