Login / Signup

The interpretability of Robinson arithmentic in the rafified second-order theory of dense linear order.

Allen Hazen
Published in: Notre Dame J. Formal Log. (1992)
Keyphrases
  • reinforcement learning
  • real time
  • database
  • data sets
  • information systems
  • feature selection
  • expert systems
  • pairwise
  • formal theory