Yuri, Logic, and Computer Science.

Andreas Blass Nachum Dershowitz Wolfgang Reisig

Published 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