Author:
Colburn Timothy,Shute Gary
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Philosophy
Reference20 articles.
1. Benacerraf, P. (1965). What numbers could not be. Philosophical Review, 74, 47–73.
2. Carrano, F. M. (2007). Data abstraction & problem solving with C++. Boston: Addison-Wesley.
3. Cohen, M. R., & Nagel, E. (1953). The nature of a logical or mathematical system. In H. Feigl & M. Brodbeck (Eds.), Readings in the philosophy of science (pp. 129–147). New York: Appleton-Century-Crofts.
4. Colburn, T. R., Fetzer, J. H., & Rankin, T. L. (1993). Program verification: Fundamental issues in computer science. Dordrecht, The Netherlands: Kluwer Academic Publishers.
5. Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献