Abstract Soundness.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: Arch. Formal Proofs (2017)

Keyphrases

decision trees
data sets
databases
knowledge base
expert systems
information technology
query processing
object oriented