Travelled to:1 × USA
Collaborated with:T.E.Uribe A.M.Frisch
Talks about:framework (1) procedur (1) overview (1) resolut (1) system (1) proof (1) frapp (1) autom (1) base (1)
Person: Michael K. Mitchell
DBLP: Mitchell:Michael_K=
Contributed to:
1992Wrote 1 papers:
- CADE-1992-UribeFM #automation #framework #overview #proving
- An Overview of FRAPPS 2.0: A Framework for Resolution-based Automated Proof Procedure Systems (TEU, AMF, MKM), pp. 721–725.