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

View PDF

Download Links

by Mike Gordon
Citations:66 - 1 self