Donald W. Loveland, Richard E. Hodel, and S. G. Sterrett: Three Views of Logic: Mathematics, Philosophy and Computer Science - Princeton University Press, Princeton and Oxford, 2014, xv + 322, $49.50/£34.95, ISBN: 978-0-691-16044-3.
Patrick AlloPublished in: Minds Mach. (2015)
Keyphrases
- computer science
- artificial intelligence
- electrical engineering
- cognitive science
- information sciences
- lecture notes
- united kingdom
- library and information science
- computer algebra
- machine learning
- social sciences
- researchers and practitioners
- computer science students
- multiple views
- decision procedures
- modal logic
- data mining
- case study
- computer science education
- classical logic
- selected papers
- computer engineering
- computer science and engineering
- automated reasoning
- united states
- formal logic
- computer programming
- students studying
- computer scientists