- Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach.Nicola Angius & Petros Stefaneas - 2016 - In Vincent C. Müller (ed.), Computing and philosophy: Selected papers from IACAP 2014. Cham: Springer. pp. 99-115.details
|
|
Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.details
|
|
Computer Simulations in Science and Engineering. Concept, Practices, Perspectives.Juan Manuel Durán - 2018 - Springer.details
|
|
Specification.Raymond Turner - 2011 - Minds and Machines 21 (2):135-152.details
|
|
Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.details
|
|
Critical rationalism and engineering: ontology.Mark Staples - 2014 - Synthese 191 (10):2255-2279.details
|
|
Philosophy of Computer Science.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.details
|
|
Why Separation Logic Works.David Pym, Jonathan M. Spring & Peter O’Hearn - 2019 - Philosophy and Technology 32 (3):483-516.details
|
|
Computing as Empirical Science- Evolution as a Concept.Paweł Polak - 2016 - Studies in Logic, Grammar and Rhetoric 48 (1):49-69.details
|
|
Program Verification and Functioning of Operative Computing Revisited: How about Mathematics Engineering? [REVIEW]Uri Pincas - 2011 - Minds and Machines 21 (2):337-359.details
|
|
The specification of “specification”.Derek Partridge & Antony Galton - 1995 - Minds and Machines 5 (2):243-255.details
|
|
Deductive program verification (a practitioner's commentary).David A. Nelson - 1992 - Minds and Machines 2 (3):283-307.details
|
|
Computing the perfect model: Why do economists Shun simulation?Aki Lehtinen & Jaakko Kuorikoski - 2007 - Philosophy of Science 74 (3):304-329.details
|
|
Discussion reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.details
|
|
Timothy R. Colburn, philosophy and computer science.Bipin Indurkhya - 2002 - Minds and Machines 12 (3):454-459.details
|
|
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.details
|
|
The formal sciences discover the philosophers' stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.details
|
|
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.details
|
|
Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.details
|
|
When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science.Liesbeth De Mol & Giuseppe Primiero - 2015 - History and Philosophy of Logic 36 (3):195-204.details
|
|
Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.details
|
|
Abstraction in computer science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.details
|
|
Recipes, algorithms, and programs.Carol E. Cleland - 2001 - Minds and Machines 11 (2):219-237.details
|
|
A Vindication of Program Verification.Selmer Bringsjord - 2015 - History and Philosophy of Logic 36 (3):262-277.details
|
|
The derivation-indicator view of mathematical practice.Jody Azzouni - 2004 - Philosophia Mathematica 12 (2):81-106.details
|
|
Scientific Theories of Computational Systems in Model Checking.Nicola Angius & Guglielmo Tamburrini - 2011 - Minds and Machines 21 (2):323-336.details
|
|
From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning.Nicola Angius & Alessio Plebe - 2023 - Philosophy and Technology 36 (3):1-27.details
|
|
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.details
|
|
A Historical Approach to Understanding Explanatory Proofs Based on Mathematical Practices.Erika Oshiro - 2018 - Dissertation, University of South Floridadetails
|
|
Philosophy, mathematics and structure.James Franklin - 1995 - Philosopher: revue pour tous 1 (2):31-38.details
|
|
Aristotelian realism.James Franklin - 2009 - In A. Irvine (ed.), The Philosophy of Mathematics (Handbook of the Philosophy of Science series). North-Holland Elsevier.details
|
|
How minds can be computational systems.William J. Rapaport - 1998 - Journal of Experimental and Theoretical Artificial Intelligence 10 (4):403-419.details
|
|
The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).details
|
|
Explaining simulated phenomena. A defense of the epistemic power of computer simulations.Juan M. Durán - 2013 - Dissertation, University of Stuttgartdetails
|
|
Why think that the brain is not a computer?Marcin Miłkowski - 2016 - APA Newsletter on Philosophy and Computers 16 (2):22-28.details
|
|
Peirce and the Philosophy of Artificial Intelligence.James Fetzer - 2004 - The Commens Encyclopedia: The Digital Encyclopedia of Peirce Studies.details
|
|
Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.details
|
|