| Record ID | ia:handbookoflogici0002unse |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/handbookoflogici0002unse/handbookoflogici0002unse_marc.xml |
| Download MARC binary | https://www.archive.org/download/handbookoflogici0002unse/handbookoflogici0002unse_meta.mrc |
LEADER: 01460cam a2200337 a 4500
001 92023358
003 DLC
005 20060719205045.0
008 920714m19931998nyua 001 0 eng
010 $a 92023358
020 $a019853745X (v. 1) :$c$90.00
020 $a0198537468 (v. 2)
020 $a0198537476 (v. 3)
020 $a0198537913 (v. 4)
020 $a0198537921 (v. 5)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.63$b.H36 1993
082 00 $a006.3/3$220
245 00 $aHandbook of logic in artificial intelligence and logic programming /$cedited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
260 $aOxford :$bClarendon Press ;$aOxford ;$aNew York :$bOxford University Press,$c1993-1998.
300 $a5 v. :$bill. ;$c25 cm.
504 $aIncludes bibliographical references and indexes.
505 1 $av. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning -- v. 5. Logic programming.
650 0 $aLogic programming.
650 0 $aArtificial intelligence.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aGabbay, Dov M.,$d1945-
700 1 $aHogger, Christopher John.
700 1 $aRobinson, J.A.$q(John Alan)
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0606/92023358-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0606/92023358-t.html