Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Herbrand Award for Distinguished Contributions to Automated Reasoning
Buchberger, Bruno
(Recipient)
Research Institute for Symbolic Computation
Prize
:
Prize, award or honor
Awarded date
2018