Introduction to HOL : a theorem proving environment for higher order logic / edited by M.J.C. Gordon and T.F. Melham. a theorem proving environment for higher order logic /
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Cambridge University Press,
1993.
|
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library - Pilkington Main Collection
| Shelfmark: |
511.3/INT |
|---|---|
| Copy [0402753429] | Available |