Matches in DBpedia 2016-04 for { <http://www.cs.utexas.edu/~moore/publications/meta-05.pdf> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- meta-05.pdf author2 "Matt Kaufmann".
- meta-05.pdf author3 "Robert Bellarmine Krug".
- meta-05.pdf author4 "J Moore".
- meta-05.pdf author5 "Eric W. Smith".
- meta-05.pdf first "Warren".
- meta-05.pdf isCitedBy Proof_assistant.
- meta-05.pdf journal "Springer Lecture Notes in Computer Science".
- meta-05.pdf last "Hunt".
- meta-05.pdf pages "163–178".
- meta-05.pdf title "Meta Reasoning in ACL2".
- meta-05.pdf url meta-05.pdf.
- meta-05.pdf volume "3603".
- meta-05.pdf year "2005".