Robert Shostak

5 Followers
community-curated profile

Author of over forty academic papers and patents. Editor of the 7th Conference on Automated Deduction. Collaboration with Kenneth Kunen.

Recommended by 1 person
1 mention