Studies in Mechanical Veri of Mathematical Proofs (1999)

by Mark Ruys