語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Automated deduction in classical and...
~
Caferra, Ricardo (1945)
Automated deduction in classical and non-classical logics : selected papers
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
selected papers
其他作者:
CaferraRicardo, 1945
其他作者:
SalzerGernot, 1963
出版地:
New York
出版者:
Springer;
出版年:
2000
面頁冊數:
viii, 297 pill : 24cm;
集叢名:
Lecture notes iin artificial intelligence
標題:
Automatic theorem proving -
標題:
Logic, Symbolic and mathematical -
ISBN:
3540671900
Automated deduction in classical and non-classical logics : selected papers
Automated deduction in classical and non-classical logics
: selected papers / Ricardo Caferra, Gernot Salzer (eds.) - New York : Springer, 2000. - viii, 297 p ; ill ; 24cm. - (Lecture notes iin artificial intelligence ; 1761).
Includes bibliographical references and index.
ISBN 3540671900
Automatic theorem provingLogic, Symbolic and mathematical
Caferra, Ricardo
Automated deduction in classical and non-classical logics : selected papers
LDR
:00729cam 2200193 i 450
001
449734
005
20101023153711.0
009
a00028492
010
1
$a
3540671900
$b
(pbk.)
$d
NT
100
$a
20080130d2000 m y0engy01 b
101
0
$a
eng
200
1
$a
Automated deduction in classical and non-classical logics
$e
selected papers
$f
Ricardo Caferra, Gernot Salzer (eds.)
210
$a
New York
$c
Springer
$d
2000
215
0
$a
viii, 297 p
$c
ill
$d
24cm
225
2
$a
Lecture notes iin artificial intelligence
$v
1761
320
$a
Includes bibliographical references and index
410
0
$1
2001
$a
;1761.
$a
Lecture notes iin artificial intelligence
606
$a
Automatic theorem proving
$3
414208
$2
lc
$3
724079
606
$a
Logic, Symbolic and mathematical
$3
397502
$2
lc
$3
724080
676
$a
006.3/33
$v
21
680
$a
QA76.9.A96
$b
A85 2000
702
$a
Caferra
$b
Ricardo
$f
1945
$3
432038
702
$a
Salzer
$b
Gernot
$f
1963
$3
432039
801
1
$a
cw
$b
國立虎尾科技大學圖書館圖書館
$c
20020118
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E021170
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
006.333 A939 2000
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入