HOL - A Machine Oriented Formulation of Higher Order Logic (2001)
by
Mike Gordon
| Citations: | 62 - 1 self |
Document Versions
| HOL - A Machine Oriented Formulation of Higher Order Logic –Mike Gordon — 2001 |
