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

Cached

Download Links

by Mike Gordon
Citations:63 - 1 self