Logic in Computer Science.
Douglas S. BridgesCristian CaludeMichael J. DinneenBakhadyr KhoussainovPublished in: J. Univers. Comput. Sci. (1997)
Keyphrases
- computer science
- lecture notes
- computer scientists
- logic programming
- artificial intelligence
- modal logic
- multi valued
- automata theory
- data sets
- computer science students
- asynchronous circuits
- predicate logic
- information science
- classical logic
- social sciences
- case study
- data mining
- probability theory
- researchers and practitioners
- logical framework
- temporal logic
- cognitive science
- human computer interaction
- electrical engineering
- computing education
- computational intelligence
- applied mathematics
- proof theory