Sign in

Formalising the Proj Construction in Lean.

Jujian Zhang
Published in: ITP (2023)
Keyphrases
  • databases
  • real world
  • construction process
  • data mining
  • decision trees
  • user interface
  • case based reasoning
  • response time