Robert Shostak

1 Follower
community-curated profile

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

Featured content
See All