Logic for Computer Science: The Engineering Challenge.
Wolfgang ThomasPublished in: Informatics (2001)
Keyphrases
- computer science
- artificial intelligence
- electrical engineering
- lecture notes
- diverse fields
- modal logic
- social sciences
- machine learning
- logic programming
- researchers and practitioners
- information science
- selected papers
- multi valued
- sound and complete axiomatization
- applied sciences
- software engineering
- classical logic
- engineering design
- engineering problems
- related topics
- cognitive science
- deontic logic
- applied mathematics
- mechanical engineering
- computer science students
- data sets
- interdisciplinary field
- undergraduate engineering
- automated reasoning