Computer Programming and Formal Systems

, &
Philosophical Quarterly 15 (61):371 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2218270

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Abpl.Mike Ainsworth - 1993 - Acta Biotheoretica 41 (1-2):43-51.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
Leibnizjańskie inspiracje informatyki.Kazimierz Trzęsicki - 2006 - Filozofia Nauki 3.
Proof and disproof in formal logic: an introduction for programmers.Richard Bornat - 2005 - New York: Oxford University Press.
Viola: A new visual programming language designed for the rapid development of interacting agent systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
Domains and lambda-calculi.Roberto M. Amadio - 1998 - New York: Cambridge University Press. Edited by P.-L. Curien.
Philosophical aspects of program verification.James H. Fetzer - 1991 - Minds and Machines 1 (2):197-216.
YAQ: a 360 assembler version of the algorithm Aq and comparison with other PL/I programs.Edward Yalow - 1977 - Urbana: Department of Computer Science, University of Illinois at Urbana-Champaign.
Frontiers of combining systems: third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000: proceedings.Helene Kirchner & Christophe Ringeissen (eds.) - 2000 - New York: Springer.
The Role Of Models In Computer Science.James H. Fetzer - 1999 - The Monist 82 (1):20-36.
Computer crime: Assessing the lawyer's perspective. [REVIEW]Karen A. Forcht, Daphyne Thomas & Karen Wigginton - 1989 - Journal of Business Ethics 8 (4):243 - 251.
Algorithms in modern mathematics and computer science: proceedings, Urgench, Uzbek SSR, September 16-22, 1979.A. P. Ershov & Donald Ervin Knuth (eds.) - 1981 - New York: Springer Verlag.
Hohfeld in cyberspace and other applications of normative reasoning in agent technology.Christen Krogh & Henning Herrestad - 1999 - Artificial Intelligence and Law 7 (1):81-96.

Analytics

Added to PP
2014-01-18

Downloads
10 (#1,201,046)

6 months
4 (#799,256)

Historical graph of downloads
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