On Interpolation and Symbol Elimination in Theory Extensions.

Viorica Sofronie-Stokkermans

Published in: CoRR (2017)

Keyphrases

neural network
theoretical framework
case study
theoretical basis
real time
information retrieval
data structure
relational databases
multiresolution