Login / Signup

Realizability algebras: a program to well order R

Jean-Louis Krivine
Published in: Log. Methods Comput. Sci. (2011)
Keyphrases
  • learning algorithm
  • website
  • real time
  • decision making
  • search algorithm
  • multiresolution