From Gödel to Einstein: Computability between logic and physics at CiE 2006.
Arnold BeckmannEdwin J. BeggsBenedikt LöwePublished in: Theor. Comput. Sci. (2008)
Keyphrases
- computational properties
- computer science
- digital camera
- logic programming
- color space
- information retrieval
- real time
- proof theory
- predicate logic
- classical logic
- automated reasoning
- modal logic
- image enhancement
- expert systems
- case study
- multi valued
- artificial intelligence
- learning algorithm
- set theory
- digital circuits
- data sets
- truth values
- epistemic logic
- deontic logic
- database
- valued logic
- qualitative physics