Preface: Selected Extended Papers of CADE 2015.

Amy P. Felty Aart Middeldorp

Published in: J. Autom. Reason. (2017)

Keyphrases

special issue
information retrieval and extraction
neural network
carefully selected
international journal
database
information retrieval
social networks
database systems
citation analysis
databases
real world
computer vision
search algorithm
invited paper