عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 T646 2009
QA76
.
9
.
A96
T646
2009
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
Terms of Availability and/or Price
(softcover : acid-free paper)
Terms of Availability and/or Price
(softcover : acid-free paper)
(Number (ISBN
364203358x
(Number (ISBN
3642033598
(Number (ISBN
9783642033582
(Number (ISBN
9783642033599
NATIONAL BIBLIOGRAPHY NUMBER
Number
b423616
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Theorem proving in higher order logics
General Material Designation
[Book]
Other Title Information
22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009 /
First Statement of Responsibility
Stefan Berghofer ... [et al.] (ed.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2009
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 515 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in computer science ;
Series Title
LNCS sublibrary, SL 1, Theoretical computer science and general issues
Volume Designation
5674
GENERAL NOTES
Text of Note
Includes index
Text of Note
Title from PDF t.p. (SpringerLink, viewed Dec. 10, 2009)
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
International Standard Book Number
364203358X
PIECE
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
TPHOLs 2009
TOPICAL NAME USED AS SUBJECT
Automatic theorem proving, Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
A96
Book number
T646
2009
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Berghofer, Stefan
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
TPHOLs 2009(2009 :, Munich, Germany)
ORIGINATING SOURCE
Date of Transaction
20120501034630.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
