Constructivity in computer science: A summer symposium
Journal of Symbolic Logic 58 (3):1097 (1993)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAmnon Eden (2011). Some Philosophical Issues in Computer Science. Minds and Machines 21 (2):123-133.
Stefan Gruner (2011). Problems for a Philosophy of Software Engineering. Minds and Machines 21 (2):275-299.
Timothy L. Smith (ed.) (2001). Aquinas' Sources: The Notre Dame Symposium: Proceedings From the Summer Thomistic Institute 2000. St. Augustine's Press.
Justin Solomon (2009). Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science. Science and Engineering Ethics 15 (4).
Oron Shagrir (1999). What is Computer Science About? The Monist 82 (1):131-149.
Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2).
Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
