Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Artículo científico |
| Langue: | en |
| Publié: |
Instituto Politécnico Nacional
1999
|
| Sujets: | |
| Accès en ligne: | https://www.redalyc.org/articulo.oa?id=61520308 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- Using Difference Reduction for Generic Proof Search Santiago Negrete Computación 1999 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61520308 en http://www.redalyc.org/revista.oa?id=615 Computación y Sistemas application/pdf Instituto Politécnico Nacional Computación y Sistemas (México) Num.2-3 Vol.2