Preface: Selected Extended Papers of CADE 2017.
Leonardo de MouraPublished in: J. Autom. Reason. (2020)
Keyphrases
- data mining
- special issue
- text mining
- information retrieval and extraction
- decision making
- carefully selected
- case study
- data sets
- real time
- invited paper
- annual conference
- randomly selected
- databases
- decision trees
- international workshop
- information technology
- invited talk
- special section
- multi agent
- image processing
- international journal
- neural network