(Q31271080)
Statements
1 reference
1994
1993
For the development of the foundation theory for logic programming, the deductive data base field, and many formal-inference-based AI systems; and for his seminal contributions to the field of program synthesis. (English)
Identifiers
1 reference
1 reference
1 reference
1 reference
2 references
Sitelinks
Wikipedia(1 entry)
- enwiki Cordell Green