Will This Be Formal?

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_2 ◽

2008 ◽

pp. 6-11 ◽

Author(s):

Steven P. Miller

Download Full-text