Login / Signup

On the strength of two Recurrence theorems.

Adam R. Day
Published in: J. Symb. Log. (2016)
Keyphrases
  • artificial intelligence
  • sequent calculus
  • neural network
  • high quality
  • data streams
  • cost function