Equational Type Logic.

Vincenzo Manca Antonino Salibra Giuseppe Scollo

Published in: Theor. Comput. Sci. (1990)

Keyphrases

theorem proving
image processing
genetic algorithm
website
multiscale
multiple types
horn clauses
data sets
databases
data mining
information retrieval
artificial intelligence