1997 Herbrand Award for Distinguished Contributions to Automated Reasoning Recipient: Professor Wu Wen-Tsun
Resource
Proceedings of the 14th International Conference on Automated Deduction, Townsville, Australia, Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997
Journal
Proceedings of the 14th International Conference on Automated Deduction, Townsville, Australia, Lecture Notes in Artificial Intelligence, Springer-Verlag
Pages
-
Date Issued
1997
Date
1997
Author(s)
Hsiang J.
Type
conference paper