Login / Signup

Most General First Order Theorems are not Recursively Enumerable.

Gerhard Schurz
Published in: Theor. Comput. Sci. (1995)
Keyphrases
  • special case
  • neural network
  • real valued functions