語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Reactive Kripke Semantics /
~
Gabbay, Dov M.
Reactive Kripke Semantics /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Reactive Kripke Semantics // Dov M. Gabbay.
作者:
Gabbay, Dov M.,
其他作者:
Gabbay, Dov M.
出版者:
Heidelberg :Springer Verlag, : c2013.,
面頁冊數:
xii, 442 p. :ill. ; : 25 cm.;
標題:
Computer logic. -
ISBN:
9783642413889 (cloth) :
Reactive Kripke Semantics /
Gabbay, Dov M.,1945-
Reactive Kripke Semantics /
Dov M. Gabbay. - Heidelberg :Springer Verlag,c2013. - xii, 442 p. :ill. ;25 cm. - Cognitive technologies,1611-2482. - Cognitive technologies..
Includes bibliographical references (p. 431-438) and index.
ISBN: 9783642413889 (cloth) :NT3829Subjects--Topical Terms:
786340
Computer logic.
LC Class. No.: QA76.9.L63 / G34 2013
Dewey Class. No.: 005.1 / 23
Reactive Kripke Semantics /
LDR
:00730cam a2200229 a 4500
001
789126
005
20140922175725.0
008
141028s2013 gw a 001 0 eng d
020
$a
9783642413889 (cloth) :
$c
NT3829
020
$a
3642413889 (cloth)
020
$a
9783642413896 (ebk.)
020
$a
3642413897 (ebk.)
035
$a
(OCoLC)861216125
035
$a
861216125
040
$a
BTCTA
$b
eng
$c
BTCTA
$d
YDXCP
$d
CDX
$d
GZM
$d
IXA
041
0 #
$a
eng
050
# 4
$a
QA76.9.L63
$b
G34 2013
082
0 4
$a
005.1
$b
23
100
1
$a
Gabbay, Dov M.,
$d
1945-
$3
633636
245
1 0
$a
Reactive Kripke Semantics /
$c
Dov M. Gabbay.
260
#
$a
Heidelberg :
$c
c2013.
$b
Springer Verlag,
300
$a
xii, 442 p. :
$b
ill. ;
$c
25 cm.
490
1
$a
Cognitive technologies,
$x
1611-2482
504
$a
Includes bibliographical references (p. 431-438) and index.
650
# 0
$a
Computer logic.
$3
786340
650
# 0
$a
Artificial intelligence.
$3
559380
650
# 0
$a
Logic, Symbolic and mathematical.
$3
527823
700
1 #
$a
Gabbay, Dov M.
$3
580194
830
0
$a
Cognitive technologies.
$3
882825
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E040642
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
005.1 G112 2013
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入