Yuri, Logic, and Computer Science.
Andreas BlassNachum DershowitzWolfgang ReisigPublished in: Fields of Logic and Computation (2010)
Keyphrases
- computer science
- lecture notes
- computer scientists
- logic programming
- modal logic
- social sciences
- classical logic
- artificial intelligence
- sound and complete axiomatization
- wide ranging
- predicate logic
- selected papers
- data mining
- logical framework
- computational linguistics
- deontic logic
- diverse fields
- databases
- nonmonotonic logics
- computer architecture
- computer science education
- epistemic logic
- linear logic
- proof theory
- computer engineering
- computer science students
- information sciences