語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
到查詢結果
[ subject:"Logic, Symbolic and mathematical." ]
切換:
標籤
|
MARC模式
|
ISBD
Analysis and synthesis of logics :ho...
~
Carnielli, Walter A.
Analysis and synthesis of logics :how to cut and paste reasoning systems /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Analysis and synthesis of logics :by Walter Carnielli ... [et al.].
其他題名:
how to cut and paste reasoning systems /
其他作者:
Carnielli, Walter A.
出版者:
Dordrecht :Springer,c2008.
面頁冊數:
xvi, 600 p. :ill. ;25 cm.
叢書名:
Applied logic series ;
標題:
Logic, Symbolic and mathematical.
電子資源:
http://www.loc.gov/catdir/toc/fy0804/2008920294.html
ISBN:
140206781X (hbk. : alk. paper) :
Analysis and synthesis of logics :how to cut and paste reasoning systems /
Analysis and synthesis of logics :
how to cut and paste reasoning systems /by Walter Carnielli ... [et al.]. - Dordrecht :Springer,c2008. - xvi, 600 p. :ill. ;25 cm. - Applied logic series ;v. 35.
Includes bibliographical references (p. 559-578) and index.
ISBN: 140206781X (hbk. : alk. paper) :NT$6242
LCCN: 2008920294
Nat. Bib. No.: GBA788563bnb
Nat. Bib. Agency Control No.: 014235585UkSubjects--Topical Terms:
180452
Logic, Symbolic and mathematical.
LC Class. No.: QA9 / .A634 2008
Dewey Class. No.: 511.3
Analysis and synthesis of logics :how to cut and paste reasoning systems /
LDR
:01036cam a22002897a 4500
001
234153
003
DLC
005
20080703101831.0
008
100301s2008 ne a b 001 0 eng
010
$a
2008920294
015
$a
GBA788563
$2
bnb
016
7
$a
014235585
$2
Uk
020
$a
140206781X (hbk. : alk. paper) :
$c
NT$6242
020
$a
9781402067815 (hbk. : alk. paper)
020
$a
1402067828 (ebk.)
020
$a
9781402067822 (ebk.)
035
$a
(OCoLC)ocn180474052
035
$a
2008920294
040
$a
UKM
$c
UKM
$d
BTCTA
$d
YDXCP
$d
BAKER
$d
OHX
$d
EMU
$d
DLC
042
$a
ukblcatcopy
$a
lccopycat
050
0 0
$a
QA9
$b
.A634 2008
082
0 4
$a
511.3
$2
22
245
0 0
$a
Analysis and synthesis of logics :
$b
how to cut and paste reasoning systems /
$c
by Walter Carnielli ... [et al.].
260
$a
Dordrecht :
$c
c2008.
$b
Springer,
300
$a
xvi, 600 p. :
$b
ill. ;
$c
25 cm.
440
0
$a
Applied logic series ;
$v
v. 35
504
$a
Includes bibliographical references (p. 559-578) and index.
650
0
$a
Logic, Symbolic and mathematical.
$3
180452
700
1
$a
Carnielli, Walter A.
$q
(Walter Alexandre)
$3
450747
856
4 1
$3
Table of contents
$u
http://www.loc.gov/catdir/toc/fy0804/2008920294.html
筆 0 讀者評論
全部
西方語文圖書區(四樓)
館藏
1 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
320000546145
西方語文圖書區(四樓)
1圖書
一般圖書
QA9 A532 2008
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
多媒體檔案
http://www.loc.gov/catdir/toc/fy0804/2008920294.html
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入