Presentation of Classical Propositional Tableaux on Program Design Premises.

Juan Michelini Alvaro Tasistro

Published in: CoRR (2015)

Keyphrases

real time
user interface
building blocks
design process
case study
evolutionary algorithm
software architecture
design tools
information presentation