Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
The collected works of Larry WosSoft /
~
Pieper, Gail W.
The collected works of Larry WosSoft /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
The collected works of Larry WosSoft /Larry Wos, Gail W. Pieper.
Author:
Wos, Larry.
other author:
Pieper, Gail W.
Published:
Singapore :World Scientific,c2000.
Description:
2 v. :ill. ;23 cm. +1 computer optical disc ( 4 3/4 in.)
Subject:
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
based on 0 review(s)
ALL
西方語文圖書區(四樓)
流通服務臺(二樓)
Items
3 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
320000173031
西方語文圖書區(四樓)
1圖書
一般圖書
QA76.9.A96 W919 v.1 2000
一般使用(Normal)
On shelf
0
附1張光碟
320000173049
西方語文圖書區(四樓)
1圖書
一般圖書
QA76.9.A96 W919 v.2 2000
一般使用(Normal)
On shelf
0
附1張光碟
300080007200
流通服務臺(二樓)
1圖書
書所附之電腦檔
CF QA76.9.A96 W919 Dk.1 2000
一般使用(Normal)
On shelf
0
3 records • Pages 1 •
1
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login