redalyc.org

Sistema de Información Científica Redalyc
Red de Revistas Científicas de América Latina y el Caribe, España y Portugal

redalyc.org redalyc.org

Using Difference Reduction for Generic Proof Search

Santiago Negrete ;
Computación y Sistemas 1999, 2 (2-3)







Universidad Autónoma del Estado de México
Sistema de Información Científica Redalyc ®
Versión 3.0 | 2017
redalyc@redalyc.org