Theorem Proving in Higher Order Logics
Springer Berlin Heidelberg
Title |
Theorem Proving in Higher Order Logics
|
---|---|
Published by |
Springer Berlin Heidelberg, June 2003
|
DOI | 10.1007/3-540-44755-5 |
ISBNs |
978-3-54-042525-0, 978-3-54-044755-9
|
Editors |
Boulton, Richard J., Jackson, Paul B. |
Country | Count | As % |
---|---|---|
Japan | 1 | 13% |
Canada | 1 | 13% |
Unknown | 6 | 75% |
Readers by professional status | Count | As % |
---|---|---|
Other | 3 | 38% |
Researcher | 2 | 25% |
Student > Bachelor | 1 | 13% |
Student > Ph. D. Student | 1 | 13% |
Unspecified | 1 | 13% |
Other | 0 | 0% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 50% |
Mathematics | 2 | 25% |
Business, Management and Accounting | 1 | 13% |
Unspecified | 1 | 13% |