| Record ID | harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:133890898:1908 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:133890898:1908?format=raw |
LEADER: 01908cam a2200493Ka 4500
001 012116826-3
005 20101206104132.0
008 081121s2008 gw a b 101 0 eng d
016 7 $a990908968$2GyFmDB
020 $a9783540894384 (pbk.)
020 $a3540894381 (pbk.)
035 0 $aocn276332005
040 $aOHX$cOHX$dNLGGC$dYDXCP$dZCU$dMYG$dIXA
050 4 $aQA76.63$b.L735 2008
072 7 $aQA$2lcco
084 $a54.72$2bcl
084 $a54.51$2bcl
084 $a54.71$2bcl
111 2 $aLPAR (Conference)$n(15th :$d2008 :$cDawhah, Qatar)
245 10 $aLogic for programming, artificial intelligence, and reasoning :$b15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings /$cIliano Cervesato, Helmut Veith, Andrei Voronkov (eds.).
260 $aBerlin :$bSpringer,$c2008.
300 $axiv, 714 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in artifical intelligence, subseries of Lecture notes in computer science,$x0302-9743 ;$v5330
500 $aInternational conference proceedings.
504 $aIncludes bibliographical references and index.
650 0 $aLogic programming$vCongresses.
650 0 $aAutomatic theorem proving$vCongresses.
650 0 $aArtificial intelligence$vCongresses.
655 7 $aDohar (2008)$2swd
655 7 $aKongress.$2swd
655 7 $aConference proceedings.$2fast
700 1 $aCervesato, Iliano.
700 1 $aVeith, Helmut.
700 1 $aVoronkov, A.$q(Andreĭ),$d1959-
700 1 $aCervesato, Iliano,$eeditor of compilation.
700 1 $aVeith, Helmut,$eeditor of compilation.
700 1 $aVoronkov, Andrei,$d1959-$eeditor of compilation.
700 1 $aCervesato, Iliano,$eeditor.
700 1 $aVeith, Helmut,$eeditor.
700 1 $aVoronkov, Andrei,$d1959-$eeditor.
830 0 $aLecture notes in computer science ;$v5330.
988 $a20091110
049 $aMCSS
906 $0OCLC