Studies in Mechanical Verification of Mathematical Proofs (1999)

View PDF

Download Links

by Mark Ruys
Citations:1 - 0 self