6 results on '"Wos, Larry"'
Search Results
2. The Legacy of a Great Researcher
3. Experiments in automated deduction with condensed detachment
4. The impossibility of the automation of logical reasoning
5. Application of automated deduction to the search for single axioms for exponent groups
6. Challenge problems focusing on equality and combinatory logic: Evaluating automated theorem-proving programs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.