عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540631046 (pbk. : alk. paper)
(Number (ISBN
9783540631040 (pbk. : alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433719
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction, CADE-14
General Material Designation
[Book]
Other Title Information
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
First Statement of Responsibility
William McCune, ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c1997.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 462 p. :
Other Physical Details
ill. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
1249. Lecture notes in artificial intelligence
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
OTHER EDITION IN ANOTHER MEDIUM
Title
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
PIECE
Title
OhioLINK electronic book center
Title
SpringerLink
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses.
Logic, Symbolic and mathematical, Congresses.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
McCune, W., (William)
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Automated Deduction(14th :1997 :, Townsville, Qld.)
ORIGINATING SOURCE
Date of Transaction
20100628092656.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
