語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Principles of logic and logic progra...
~
Nerode, Anil, (1932-)
Principles of logic and logic programming
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Principles of logic and logic programming/ G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
作者:
Metakides, George,
其他作者:
Nerode, Anil,
出版者:
Amsterdam ;Elsevier, : 1996.,
面頁冊數:
xiii, 329 p. :ill. ; : 25 cm.;
標題:
Logic programming. -
電子資源:
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
ISBN:
9780444816443 (electronic bk.)
Principles of logic and logic programming
Metakides, George,1945-
Principles of logic and logic programming
[electronic resource] /G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. - Amsterdam ;Elsevier,1996. - xiii, 329 p. :ill. ;25 cm. - Studies in computer science and artificial intelligence ;13.
Includes bibliographical references (p. 311-317) and indexes.
ISBN: 9780444816443 (electronic bk.)
LCCN: 96012490 Subjects--Topical Terms:
670217
Logic programming.
LC Class. No.: QA76.63 / .M473 1996
Dewey Class. No.: 005.13/1
Principles of logic and logic programming
LDR
:00919cam a2200217 a 45
001
809272
005
20130416155712.0
008
150720s1996 ne a sb 001 0 eng
010
$a
96012490
020
$a
9780444816443 (electronic bk.)
020
$a
9780444816443
035
$a
13003026
040
$a
DLC
$c
DLC
$d
DLC
041
0
$a
eng
050
0 0
$a
QA76.63
$b
.M473 1996
082
0 0
$a
005.13/1
$2
20
100
1
$a
Metakides, George,
$d
1945-
$3
907002
245
1 0
$a
Principles of logic and logic programming
$h
[electronic resource] /
$c
G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
260
$a
Amsterdam ;
$a
New York :
$b
Elsevier,
$c
1996.
300
$a
xiii, 329 p. :
$b
ill. ;
$c
25 cm.
490
0
$a
Studies in computer science and artificial intelligence ;
$v
13
504
$a
Includes bibliographical references (p. 311-317) and indexes.
650
0
$a
Logic programming.
$3
670217
650
0
$a
Logic, Symbolic and mathematical.
$3
527823
700
1
$a
Nerode, Anil,
$d
1932-
$3
907431
700
1
$a
Sinachopoulos, A.
$q
(Aneta)
$3
907432
856
4 0
$u
http://www.sciencedirect.com/science/book/9780444816443
$z
click for full text (2015 TAEBDC PDA eBooks Trial, Trial Period: 2015.6.3-2015.12.31)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入