Counter-Example Construction with Euler Diagrams.

Published in: Stud Logica (2015)

Keyphrases

construction process
image processing
multiscale
search algorithm
relational databases
differential equations
database
data sets
neural network
web services
high level