Book review of Logic and logic design by B. Girling and H. G. Morning. International Textbook Company Limited 1973.
Stephen Y. H. SuPublished in: SIGARCH Comput. Archit. News (1974)
Keyphrases
- case study
- digital circuits
- logic synthesis
- logic programming
- computer science
- multi valued
- modal logic
- chip design
- predicate logic
- computational intelligence
- user interface
- micron cmos
- sound and complete axiomatization
- probability theory
- proof theory
- classical logic
- deontic logic
- automated reasoning
- computational properties
- machine learning
- engineering design
- database design
- building blocks
- artificial intelligence