عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3540706410
(Number (ISBN
9783540706410
NATIONAL BIBLIOGRAPHY NUMBER
Number
b566731
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Theorem Proving in Higher Order Logics :
General Material Designation
[Book]
Other Title Information
9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings
First Statement of Responsibility
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin, Heidelberg
Name of Publisher, Distributor, etc.
Springer-Verlag : Springer e-books
Date of Publication, Distribution, etc.
1996
SERIES
Series Title
Lecture Notes in Computer Science, 1125
TOPICAL NAME USED AS SUBJECT
Computer science.
Logic design.
Software engineering.
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Gerhard Goos
Jan van Leeuwen
Jim Grundy
Joakim Wright
John Harrison
Juris Hartmanis
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
