Introduction to HOL : a theorem proving environment for higher order logic /
An introduction to the HOL theorem-proving system
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
1993
Cambridge ; New York : 1993 |
| Subjects: |
Internet
Stanford University
| Call Number: |
QA76.9 .A96 I6 1993 |
|---|
University of Chicago
| Call Number: |
QA76.73.M6I58 1993 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA76.9.A96.I6 1993 |
|---|
Duke University
| Call Number: |
QA76.9.A96 I6 1993 |
|---|
Cornell University
| Call Number: |
QA76.9.A96 I6x 1993 |
|---|
University of Pennsylvania
| Call Number: |
QA9 .I58 1993 |
|---|