award in logic in computer science
C57902
concept
An award in logic in computer science is a formal recognition given to individuals or groups for outstanding contributions to the theoretical and practical development of logical methods and their applications in computing.
Instances (1)
| Instance | Via concept surface |
|---|---|
| EACSL Ackermann Award (as supervisor of winning work) | — |