عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 I57 1988
QA76
.
9
.
A96
I57
1988
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
038719343X (U.S.)
(Number (ISBN
354019343X
(Number (ISBN
9780387193434 (U.S.)
(Number (ISBN
9783540193432
NATIONAL BIBLIOGRAPHY NUMBER
Number
dltt
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
9th International Conference on Automated Deduction :
General Material Designation
[Book]
Other Title Information
Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
First Statement of Responsibility
E. Lusk, R. Overbeek (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer-Verlag,
Date of Publication, Distribution, etc.
c1988.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 775 p. :
Other Physical Details
ill. ;
Dimensions
25 cm.
SERIES
Series Title
Lecture notes in computer science ;
Volume Designation
310.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographies.
SYSTEM REQUIREMENTS NOTE (ELECTRONIC RESOURCES)
Text of Note
Mode of access: World Wide Web.
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving-- Congresses.
Logic, Symbolic and mathematical-- Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
511
.
3
Edition
19
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
I57
1988
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Lusk, Ewing.
Overbeek, Ross A.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Automated Deduction(9th :1988 :, Argonne, Ill.)
ORIGINATING SOURCE
Date of Transaction
20140613191122.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
