Login / Signup
Mechanized Reasoning and Hardware Design: C A R Hoare and M J C Gordon (Eds) Prentice Hall, Hemel Hempstead, UK (1992) ISBN 0 13 572405 8, £40, pp 151.
Chris R. Jesshope
Published in:
Microprocess. Microsystems (1994)
Keyphrases
</>
hardware design
hardware implementation
fpga hardware
knowledge base
reasoning systems
reasoning process
general purpose
legal reasoning
united kingdom
artificial intelligence
image segmentation
open source
operating system
automated reasoning
hardware software