語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
The collected works of Larry WosSoft /
~
Pieper, Gail W.
The collected works of Larry WosSoft /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
The collected works of Larry WosSoft /Larry Wos, Gail W. Pieper.
作者:
Wos, Larry.
其他作者:
Pieper, Gail W.
出版者:
Singapore :World Scientific,c2000.
面頁冊數:
2 v. :ill. ;23 cm. +1 computer optical disc ( 4 3/4 in.)
標題:
Automatic theorem proving.
ISBN:
9810249969 (v. 1)
The collected works of Larry WosSoft /
Wos, Larry.
The collected works of Larry WosSoft /
Larry Wos, Gail W. Pieper. - Singapore :World Scientific,c2000. - 2 v. :ill. ;23 cm. +1 computer optical disc ( 4 3/4 in.)
Includes bibliographical references.
V. 1. Exploring the power of automated reasoning. --V. 2.
ISBN: 9810249969 (v. 1)Subjects--Topical Terms:
206222
Automatic theorem proving.
LC Class. No.: QA76.9.A96 / W68 2000
The collected works of Larry WosSoft /
LDR
:00607nam 2200169 a 450
001
152364
005
19990722144033.0
008
090528s2000 si b 000 0 eng d
020
$a
9810249969 (v. 1)
020
$a
9810249985 (v. 2)
020
$a
9810240015 (set) :
$c
NT5770
035
$a
00050122
050
0 0
$a
QA76.9.A96
$b
W68 2000
100
$a
Wos, Larry.
$3
206221
245
1 4
$a
The collected works of Larry WosSoft /
$c
Larry Wos, Gail W. Pieper.
260
$a
Singapore :
$c
c2000.
$b
World Scientific,
300
$a
2 v. :
$b
ill. ;
$c
23 cm. +
$e
1 computer optical disc ( 4 3/4 in.)
504
$a
Includes bibliographical references.
505
$a
V. 1. Exploring the power of automated reasoning. --V. 2.
650
$a
Automatic theorem proving.
$3
206222
650
$a
Artificial intelligence.
$3
194058
700
$a
Pieper, Gail W.
$3
206220
筆 0 讀者評論
全部
西方語文圖書區(四樓)
流通服務臺(二樓)
館藏
3 筆 • 頁數 1 •
1
條碼號
館藏地
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
320000173031
西方語文圖書區(四樓)
1圖書
一般圖書
QA76.9.A96 W919 v.1 2000
一般使用(Normal)
在架
0
附1張光碟
320000173049
西方語文圖書區(四樓)
1圖書
一般圖書
QA76.9.A96 W919 v.2 2000
一般使用(Normal)
在架
0
附1張光碟
300080007200
流通服務臺(二樓)
1圖書
書所附之電腦檔
CF QA76.9.A96 W919 Dk.1 2000
一般使用(Normal)
在架
0
3 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入