Login / Signup

Subtyping in Logical Form.

Ugo de'Liguoro
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • case study
  • neural network
  • reinforcement learning
  • databases
  • video sequences
  • relational databases
  • logical framework