Login / Signup

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.

Gilles DowekMurdoch James GabbayDominic P. Mulligan
Published in: Log. J. IGPL (2010)
Keyphrases
  • neural network
  • case study
  • support vector
  • higher order
  • data mining
  • artificial intelligence
  • multiscale
  • natural language
  • pairwise
  • artificial neural networks