(Q93239733)
Statements
1 reference
1 reference
1 reference
1939
2 references
1 reference
1 reference
1993
For fundamental contributions to the logical foundations of artificial intelligence and computational linguistics. (English)
Identifiers
1 reference
2 references
Thomason, Richmond H.
1 reference
1 reference
1 reference
Thomason, Richmond H., 1939-