Mechanized Reasoning and Hardware Design

&
(1992)
  Copy   BIBTEX

Abstract

The result of a Royal Society Discussion, this book explores the ways in which mechanized reasoning tools can be used to implement good design. It examines the interplay between logic and tools, exploring theoretical possibilities, costs and practical benefits.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0135724058

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Mechanized Reasoning--Logical Computors and Their Design.D. B. Mccallum & J. B. Smith - 1952 - Journal of Symbolic Logic 17 (1):77-77.
McCallum D. B. and Smith J. B.. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 , pp. 126–133. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Logic and artificial intelligence.Richmond H. Thomason - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Digital Logic and Microprocessors.Frederick J. Hill & Gerald R. Peterson - 1984 - Wiley.
Fundamentals of Computer Engineering: Logic Design and Microprocessors.Herman Lam & John R. O'Malley - 1988 - Wiley.
VHDL: A Logic Synthesis Approach.D. Naylor & S. Jones - 1997 - Springer Verlag.
Mechanized Reasoning.W. Mays, D. M. Mccallum & J. B. Smith - 1953 - Journal of Symbolic Logic 18 (1):68-69.
Microprocessors and Logic Design.Ronald L. Krutz - 1980 - Wiley.
Microprocessor Logic Design: The Flowchart Method.Nick Tredennick - 1987

Analytics

Added to PP
2015-02-13

Downloads
4 (#1,809,777)

6 months
3 (#1,498,028)

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