Skip to content
Vinony

Automated reasoning with analytic tableaux and related methods

by TABLEAUX '97 (1997 Pont-à-Mousson, France) · 1997

Cover of Automated reasoning with analytic tableaux and related methods

No description available.

CongressesParallel processing (Electronic computers)Automatic theorem provingArtificial intelligence