切換：
- 簡略
- 詳細(MARC)
- ISBD
-
Handbook of logic in artificial intelligence and logic programming /
正題名/作者 ： Handbook of logic in artificial intelligence and logic programming // edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson.
其他作者 ： Gabbay, Dov M.,
出版者 ： Oxford :Clarendon Press ;1993-<1995 >
面頁冊數 ： v. <1-4 > :ill. ;25 cm.
標題 ： Logic programming. -
ISBN ： 019853745X (v. 1) :
ISBN ： 0198537468 (v. 2)
ISBN ： 0198537476 (v. 3)
ISBN ： 0198537913 (v. 4)
LEADER 00936cam 2200253 a 450
001 99158
003 DLC
005 19951120144040.1
008 920714m19939999nyua 001 0 eng
010 $a 92023358 //r95
020 $a019853745X (v. 1) :$c$90.00
020 $a0198537468 (v. 2)
020 $a0198537476 (v. 3)
020 $a0198537913 (v. 4)
035 $a00034042
040 $aDLC$cDLC$dDLC
050 00$aQA76.63$b.H36 1993
082 00$a006.3/3$220
090 $a006.33/H191/////547684v.1
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-<1995 >
300 $av. <1-4 > :$bill. ;$c25 cm.
505 1 $av. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning.
650 0$aLogic programming.$3189670
650 0$aArtificial intelligence.$3154206
650 0$aLogic, Symbolic and mathematical.$3139994
700 1 $aGabbay, Dov M.,$d1945-$3189667
700 1 $aHogger, Christopher John.$3189668
700 1 $aRobinson, J.A.$q(John Alan)$3189669
920 $a970516
930 $a970516
Handbook of logic in artificial intelligence and logic programming /edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson. - Oxford :Clarendon Press ;1993-<1995 > - v. <1-4 > :ill. ;25 cm.
v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning.
ISBN: 019853745X (v. 1) :$90.00
LCCN: 92023358 //r95Subjects--Topical Terms:
189670
Logic programming.
LC Class. No.: QA76.63 / .H36 1993
Dewey Class. No.: 006.3/3
v. 1. Logical foundations -- v. 2. Deduction methodologies -- v. 3. Nonmonotonic reasoning and uncertain reasoning -- v. 4. Epistemic and temporal reasoning.
ISBN: 019853745X (v. 1) :$90.00
LCCN: 92023358 //r95Subjects--Topical Terms:
189670
Logic programming.
LC Class. No.: QA76.63 / .H36 1993
Dewey Class. No.: 006.3/3
- 館藏(1)
- 心得(0)
- 標籤
- 相同喜好的讀者(0)
- 相關資料(0)
發表心得