Herbrand Award - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Computer science award
rdfs:label	Herbrand Award
owl:sameAs	dbr:Herbrand_Award
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Computer_science_awards http://en.wikipedia.org/wiki/List_of_computer_science_awards http://en.wikipedia.org/wiki/Wolfgang_Bibel http://en.wikipedia.org/wiki/Bruno_Buchberger
skos:prefLabel	Herbrand Award
skos:altLabel	Herbrand Award for Distinguished Contributions to Automated Deduction Herbrand Award for Distinguished Contributions to Automated Reasoning
is clgo:award of	Greg Nelson (computer scientist) Nachum Dershowitz Woody Bledsoe Donald W. Loveland Larry Wos Deepak Kapur Zohar Manna Alan Bundy Andrei Voronkov John Alan Robinson

About: clgr:Herbrand_Award