Sign in

A Calculus for Type Predicates and Type Coercion.

Martin Giese
Published in: TABLEAUX (2005)
Keyphrases
  • neural network
  • type checking
  • database
  • search engine
  • three dimensional
  • multiresolution
  • website
  • evolutionary algorithm
  • control system