HOL - A Machine Oriented Formulation of Higher Order Logic (2001)

Cached

Download Links

by Mike Gordon
Citations:63 - 1 self

Document Versions

HOL - A Machine Oriented Formulation of Higher Order Logic –Mike Gordon — 2001