Skip to main content
eScholarship
Open Access Publications from the University of California

Thoughts on the Prospective MML-TIP: A Mental MetaLogic-Based Theorem Prover

  • Author(s): Bringsjord, Selmer
  • Yang, Yingrui
  • et al.
Main Content
Current View