Matches in DBpedia 2016-04 for { <http://www.acm.org/press-room/awards/kanellakis-award-07> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- kanellakis-award-07 accessdate "2012-12-12".
- kanellakis-award-07 date "2008-05-13".
- kanellakis-award-07 isCitedBy Paris_Kanellakis.
- kanellakis-award-07 isCitedBy Paris_Kanellakis_Award.
- kanellakis-award-07 publisher Association_for_Computing_Machinery.
- kanellakis-award-07 title "ACM Kanellakis Award honors innovator of automated tools for mathematics".
- kanellakis-award-07 url kanellakis-award-07.