Matches in DBpedia 2016-04 for { <http://www.cs.utexas.edu/users/moore/acl2/workshop-1999/Cowles-abstract.html> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Cowles-abstract.html author "John Cowles".
- Cowles-abstract.html chapter "Knuth's generalization of McCarthy's 91 function".
- Cowles-abstract.html isCitedBy McCarthy_91_function.
- Cowles-abstract.html pages "283–299".
- Cowles-abstract.html publisher "Kluwer Academic Publishers".
- Cowles-abstract.html title "Computer-Aided reasoning: ACL2 case studies".
- Cowles-abstract.html url Cowles-abstract.html.
- Cowles-abstract.html year "2000".