Constructive Mathematics and Automatic Program Writers


by Robert L. Constable

Proceedings of the IFIP Congress, pp. 229-233, 1971.


Sorry, there are no downloadable files available for this document at this time.