عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 I57 2009eb
QA76
.
9
.
A96
I57
2009eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642029590 (ebook)
(Number (ISBN
9783642029592 (ebook)
Erroneous ISBN
3642029582 (pbk.)
Erroneous ISBN
9783642029585 (pbk.)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433860
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automated deduction--CADE-22
General Material Designation
[Book]
Other Title Information
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings /
First Statement of Responsibility
Renate A. Schmidt (ed.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xiv, 504 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in artificial intelligence
Series Title
LNCS sublibrary. SL 7, Artificial intelligence
Volume Designation
5663.
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Automated deduction - CADE-22.
International Standard Book Number
9783642029585
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
CADE-twenty-two
Parallel Title
CADE-22
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses
Logic, Symbolic and mathematical, Congresses
(SUBJECT CATEGORY (Provisional
QA
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Class number
QA76
.
9
.
A96
Book number
I57
2009eb
Book number
I57
2009eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Schmidt, Renate A
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Automated Deduction(22nd :2009 :, Montréal, Québec)
ORIGINATING SOURCE
Date of Transaction
20100809095249.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
