語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Automated theorem proving in non-cla...
~
Mcrobbie, Michael A.
Automated theorem proving in non-classical logics
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
Automated theorem proving in non-classical logics/ Thistlewaite, Paul B.;Mcrobbie, Michael A.;Meyer, Robert K.
作者:
Thistlewaite, Paul B.
其他作者:
Mcrobbie, Michael A.
出版者:
London : John Wiley & Sons, Ltd., 1988
面頁冊數:
154頁; 25x17公分
標題:
Automatic theorem proving.
標題:
Nonclassical mathematical logi
ISBN:
0470210060(平裝)
Automated theorem proving in non-classical logics
Thistlewaite, Paul B.
Automated theorem proving in non-classical logics
Thistlewaite, Paul B.;Mcrobbie, Michael A.;Meyer, Robert K. - 1ST.ED. - LondonJohn Wiley & Sons, Ltd.1988 - 154頁25x17公分 - RESEARCH NOTES IN THEORETICAL COMPUTER SCIENCE..
ISBN: 0470210060(平裝)Subjects--Topical Terms:
177613
Automatic theorem proving.
Automated theorem proving in non-classical logics
LDR
:00482nam 2200157 450
001
172360
008
100607t1988 gb a a 000 0 eng d
020
$a
0470210060(平裝)
035
$a
9016635
040
$b
eng
$c
DYU
041
0 #
$a
eng
044
$a
gb
100
0
$a
Thistlewaite, Paul B.
$3
363212
245
1 0
$a
Automated theorem proving in non-classical logics
$c
Thistlewaite, Paul B.;Mcrobbie, Michael A.;Meyer, Robert K.
250
$a
1ST.ED.
260
#
$a
London
$b
John Wiley & Sons, Ltd.
$c
1988
300
$a
154頁
$c
25x17公分
490
0
$a
RESEARCH NOTES IN THEORETICAL COMPUTER SCIENCE.
650
# 0
$a
Automatic theorem proving.
$3
177613
650
# 0
$a
Nonclassical mathematical logi
$3
177614
700
0 #
$a
Mcrobbie, Michael A.
$3
363213
700
0 #
$a
Meyer, Robert K.
$3
363214
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801511300000021
四樓西文圖書區
1.圖書流通
圖書
511.3 T349
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入