Michael K. Mitchell

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Tomás E. Uribe, Alan M. Frisch, Michael K. Mitchell
An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems. CADE (1992)