Matches in DBpedia 2016-04 for { <http://surface.syr.edu/cgi/viewcontent.cgi?article=1005&context=eecs_techreports> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- viewcontent.cgi?article=1005&context=eecs_techreports author "Neil V. Murray".
- viewcontent.cgi?article=1005&context=eecs_techreports date "Feb 1979".
- viewcontent.cgi?article=1005&context=eecs_techreports institution "Syracuse Univ.".
- viewcontent.cgi?article=1005&context=eecs_techreports isCitedBy Program_synthesis.
- viewcontent.cgi?article=1005&context=eecs_techreports isCitedBy Resolution_(logic).
- viewcontent.cgi?article=1005&context=eecs_techreports number "2-79".
- viewcontent.cgi?article=1005&context=eecs_techreports title "A Proof Procedure for Quantifier-Free Non-Clausal First Order Logic".
- viewcontent.cgi?article=1005&context=eecs_techreports url viewcontent.cgi?article=1005&context=eecs_techreports.