Autarkic Computations in Formal Proofs (1997)

Cached

Download Links

by Henk Barendregt , Erik Barendsen
Venue:J. Autom. Reasoning
Citations:23 - 1 self