TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving

Sorry, there's nothing here.

Cite this paper

@inproceedings{Venegas1994TASDST, title={TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving}, author={Gabriel Aguilera Venegas and Inmaculada Perez de Guzm{\'a}n and Manuel Ojeda-Aciego}, booktitle={JELIA}, year={1994} }