عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9810249969
NATIONAL BIBLIOGRAPHY NUMBER
Number
b503249
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
1: Exploring the power of automated reasoning /
General Material Designation
[Book]
First Statement of Responsibility
Larry Wos ; Gail W. Pieper.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Singapore :
Name of Publisher, Distributor, etc.
World scientific,
Date of Publication, Distribution, etc.
2000
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XVII, 827 p. ;
Dimensions
23 cm.
PIECE
Title
The collected works of Larry Wos
Volume Number
1
PERSONAL NAME - PRIMARY RESPONSIBILITY
Wos, Larry
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Pieper, Gail W.
ORIGINATING SOURCE
Date of Transaction
20010117000000.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
