Polymorphic+Typeclass Superposition.

Published in: PAAR@IJCAR (2014)

Keyphrases

theorem proving
objective function
static analysis
database
data mining
learning algorithm
case study
three dimensional
viewpoint
general purpose
open source