LT Revisited: Experimental Results of Applying Explanation-Based Learning to the Logic of Principia Mathematica

Publisher Website
Google Scholar
Abstract
No abstract available