Login / Signup

[Oxford Univ. Press, New York, 1986] by K. Gödel.

Georg Kreisel
Published in: Notre Dame J. Formal Log. (1988)
Keyphrases
  • social bookmarking
  • stock exchange
  • database
  • information retrieval systems
  • machine learning
  • knowledge base