Logic in computer science: modelling and reasoning about systems
Indexed incrossref
Abstract
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized logics used for reasoning about the correctness of computer systems.
Citation impact
875
total citations
- FWCI
- 62.28
- Percentile
- 100%
- References
- 42
Citations per year
Topics & keywords
Topics
Keywords
- Computer science
- Automated reasoning
- Cognitive science
- Artificial intelligence
- Psychology
No related works found for this paper.