Login / Signup

Mizar Light for HOL Light.

Freek Wiedijk
Published in: TPHOLs (2001)
Keyphrases
  • neural network
  • special case
  • data sets
  • case study
  • multiscale
  • reinforcement learning
  • knowledge representation
  • refractive index