Login / Signup

Extending the First-Order Theory of Combinators with Self-Referential Truth.

Andrea Cantini
Published in: J. Symb. Log. (1993)
Keyphrases
  • higher order
  • formal theory
  • theoretical basis
  • computer vision
  • knowledge base
  • multi agent
  • evolutionary algorithm
  • first order logic
  • general theory