Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Reactive Kripke Semantics /
~
Gabbay, Dov M.
Reactive Kripke Semantics /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Reactive Kripke Semantics // Dov M. Gabbay.
Author:
Gabbay, Dov M.,
other author:
Gabbay, Dov M.
Published:
Heidelberg :Springer Verlag, : c2013.,
Description:
xii, 442 p. :ill. ; : 25 cm.;
Subject:
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
based on 0 review(s)
ALL
圖書館3F 書庫
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
E040642
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
005.1 G112 2013
一般使用(Normal)
On shelf
0
Reserve
1 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login