Matches in DBpedia 2016-04 for { <http://www.csl.sri.com/users/rushby/> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- rushby accessdate "2009-10-02".
- rushby accessdate "2012-09-22".
- rushby isCitedBy Automated_theorem_proving.
- rushby isCitedBy List_of_Newcastle_University_people.
- rushby publisher "SRI International Computer Science Laboratory".
- rushby publisher "SRI International".
- rushby title "John Rushby".
- rushby title "SRI International Computer Science Laboratory – John Rushby".
- rushby url rushby.
- rushby url "http://www.csl.sri.com/users/rushby/".