Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Erica Melis
2 results
Proof presentation in the Omega system
by Erica Melis
October 25, 1999
Knowledge-Based Proof Planning
by Erica Melis
April 19, 1999