Program

Journal of Philosophy 57 (20/21):685 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Nonstandard Runs And Program Verification.Laszlo Csirmaz - 1981 - Bulletin of the Section of Logic 10 (2):68-77.
The poverty of the Popperian program for truthlikeness.Graham Oddie - 1986 - Philosophy of Science 53 (2):163-178.
Program execution in connectionist networks.Martin Roth - 2005 - Mind and Language 20 (4):448-467.
Newell's program, like Hilbert's, is dead; let's move on.Yingrui Yang & Selmer Bringsjord - 2003 - Behavioral and Brain Sciences 26 (5):627-627.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Unifying program construction and modification.M. Frappier, A. Mili & J. Desharnis - 1998 - Logic Journal of the IGPL 6 (2):317-340.
On the Proof Theory of Program Transformations.Martin Henson - 1995 - Logic Journal of the IGPL 3 (4):643-671.
Philosophy of Science and Its Rational Reconstructions: Remarks on the VPI Program for Testing Philosophies of Science.Alan W. Richardson - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:36 - 46.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references