Kalmár Workshop on Logic and Computer Science - Preface.
Ferenc GécsegGyörgy TuránPublished in: Acta Cybern. (2007)
Keyphrases
- computer science
- selected papers
- workshop on data mining
- international workshop
- computer scientists
- automated reasoning
- lecture notes
- social sciences
- case study
- logic programming
- computer science education
- proof theory
- data mining
- computing education
- classical logic
- machine learning
- multi valued
- logical framework
- automata theory
- information science
- information sciences
- panel discussion
- predicate logic
- artificial intelligence
- applied mathematics
- asynchronous circuits
- modal logic
- data sets
- deontic logic
- electrical engineering
- digital circuits
- management science
- graduate students
- computer architecture