Program Extraction in Constructive Analysis
Published in Synthese Library/Synthese library • Nov 26, 2008
Authors:
Helmut Schwichtenberg
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!
No comments yet
Be the first to share your thoughts!