Personal Reflections on the Role of Mathematical Logic in Computer Science.
Assaf J. KfouryPublished in: Fundam. Informaticae (2019)
Keyphrases
- computer science
- lecture notes
- artificial intelligence
- computer scientists
- modal logic
- applied mathematics
- mathematical theory
- classical logic
- researchers and practitioners
- computer algebra
- social sciences
- personal information
- machine learning
- related topics
- proof theory
- data sets
- information sciences
- logic programming
- e learning
- data mining