An Algebraic Theory for Use in Computer Design

Journal of Symbolic Logic 20 (2):195-195 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266959

Links

PhilArchive



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

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

Review: E. C. Nelson, An Algebraic Theory for Use in Computer Design. [REVIEW]Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (2):195-195.
Why Research-Oriented Design Isn’t Design-Oriented Research: On the Tensions Between Design and Research in an Implicit Design Discipline.Daniel Fallman - 2007 - Knowledge, Technology & Policy 20 (3):193-200.
Interpretation in Design: The Problem of Tacit and Explicit Understanding in Computer Support of Cooperative Design.Gerry Stahl - 1993 - Dissertation, University of Colorado at Boulder
Computer Aided Logical Design with Emphasis on VLSI.Frederick J. Hill & Gerald R. Peterson - 1993 - Wiley.
Design science 97.Jürgen Friedrich - 1996 - AI and Society 10 (2):199-217.
Unseen and unaware: Implications of recent research on failures of visual awareness for human-computer interface design.D. Alexander Varakin, Daniel T. Levin & Roger Fidler - 2004 - Human-Computer Interaction 19 (4):389-422.
A pilgrim's progress: From cognitive science to cooperative design. [REVIEW]Liam J. Bannon - 1989 - AI and Society 4 (4):259-275.
Principles of Digital Design.Daniel D. Gajski - 1997 - Pearson.
Roles for knowledge-based computer systems: Case studies in maternity care. [REVIEW]M. Harris, A. P. Jagodzinski & K. R. Greene - 2001 - AI and Society 15 (4):386-395.
Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
Is informatics a design discipline?Peter Purgathofer - 2006 - Poiesis and Praxis 4 (4):303-314.
Towards algebraic graph-based model theory for computer science.Z. Diskin - 1997 - Bulletin of Symbolic Logic 3:144-145.
Scandinavian human-centred systems design: Theoretical reflections and challenges. [REVIEW]Lars Qvortrup - 1996 - AI and Society 10 (2):164-180.
Die Realität des Imaginären: Architektur Und Das Digitale Bild : 10. Internationales Bauhaus-Kolloquium Weimar 2007.Jörg H. Gleiter, Norbert Korrek & Gerd Zimmermann (eds.) - 2008 - Verlag der Bauhaus-Universität.
LogicWorks: Interactive Circuit Design Software.Ltd Capilano Computing Systems - 1994

Analytics

Added to PP
2015-02-05

Downloads
7 (#1,387,520)

6 months
1 (#1,471,551)

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