Proof Planning: A Practical Approach To Mechanized Reasoning In Mathematics (1998)

by Manfred Kerber
Citations:6 - 3 self