A Calculus for Type Predicates and Type Coercion.

Published in: TABLEAUX (2005)

Keyphrases

neural network
type checking
database
search engine
three dimensional
multiresolution
website
evolutionary algorithm
control system