| Shelfclass_id | 4.B.3 |
| Sortkey | TPHOLS |
| Authors | Luc J. M. Claesen, Michael J. C. Gordon |
| Title | TPHOLs 1992: Higher Order Logic Theorem Proving and Its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92: Leuven, Belgium, 21-24 September, 1992 |
| Publisher | North-Holland |
| Year | 1993 |
| Languages | eng |
| Isbn | 0444898808 |
| Series | IFIP transactions / A |
| Volume | 20 |
| Issn | 0926-5473 |
| Description | (acid-free) xiii, 568 p. ill. 23 cm. |
| Record date | 20061027 |
| Location | New York |
| Keywords | Automatic theorem proving, Logic, Symbolic and mathematical |