Published in

Springer, Lecture Notes in Computer Science, p. 198-216, 1994

DOI: 10.1007/bfb0021973

Links

Tools

Export citation

Search in Google Scholar

TAS-D++: Syntactic trees transformations for Automated Theorem Proving

Book chapter published in 1994 by Gabriel Aguilera ORCID, Inma P. de Guzmán, Manuel Ojeda
This paper was not found in any repository, but could be made available legally by the author.
This paper was not found in any repository, but could be made available legally by the author.

Full text: Unavailable

Red circle
Preprint: archiving forbidden
Orange circle
Postprint: archiving restricted
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO