Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Herbrand Award 1 found (30 total)
alternate case: herbrand Award
Robert L. Constable
(807 words)
[view diff]
exact match in snippet
view article
find links to article
with CS and IS. ACM Fellow, 1995. Guggenheim Fellowship, 1990-1991. Herbrand Award for Distinguished Contributions to Automated Reasoning, 2014. Robert