The Flow of Time into Logic - and Computer Science (Column: Logic in Computer Science).
Per F. V. HaslePeter ØhrstrømPublished in: Bull. EATCS (2004)
Keyphrases
- computer science
- lecture notes
- artificial intelligence
- modal logic
- computer scientists
- logic programming
- classical logic
- multi valued
- data mining
- information science
- social sciences
- asynchronous circuits
- applied mathematics
- computer engineering
- automata theory
- information sciences
- computing education
- electrical engineering
- predicate logic
- selected papers
- automated reasoning
- information retrieval
- machine learning