An Improvement of Analytic Tableaux.

Marcello D'Agostino Marco Mondadori

Published in: TABLEAUX (1992)

Keyphrases

significant improvement
modal logic
databases
multiscale
information technology
artificial intelligence
decision procedures