Search Results for 'a new approach to proving the'

a new approach to proving the published presentations and documents on DocSlides.

A New Approach to the Application of .Theorem Proving to Problem Solvi

by marina-yarberry

E. Fikes Nils J. NHsson Research Institute, Menlo ...