Sign in

How to make ad hoc proof automation less ad hoc.

Georges GonthierBeta ZilianiAleksandar NanevskiDerek Dreyer
Published in: ICFP (2011)
Keyphrases
  • real world
  • information technology
  • knowledge base
  • image processing
  • data streams
  • preprocessing
  • hidden markov models
  • inference rules
  • linear logic