MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.

Kanako Sakurai Kenichi Asai

Published in: LOPSTR (2010)

Keyphrases

special case
precise definition
database
data sets
databases
user interface
genetic algorithm
decision trees
high level
database systems
similarity measure
multiscale
search algorithm
provably correct