| Record ID | marc_records_scriblio_net/part24.dat:11829011:1180 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part24.dat:11829011:1180?format=raw |
LEADER: 01180cam 2200277 a 4500
001 93243523
003 DLC
005 20050504140444.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 '93$d(1993 :$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$xCongresses.
650 0 $aAutomatic theorem proving$xCongresses.
700 1 $aVoronkov, A.$q(Andreĭ),$d1959-
830 0 $aLecture notes in computer science ;$v698.
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.