Logic of Analog and Digital Machines. Paolo Rocchi.
John BradleyPublished in: Lit. Linguistic Comput. (2012)
Keyphrases
- digital circuits
- mixed signal
- circuit design
- printed circuit
- data conversion
- logic programming
- analog circuits
- digital computer
- classical logic
- predicate logic
- cmos image sensor
- computational properties
- modal logic
- signal processing
- asynchronous circuits
- delta sigma
- analog vlsi
- defeasible logic
- deontic logic
- set theory
- artificial intelligence
- multi valued
- automated reasoning
- learning machines
- multi channel
- np hard
- image processing