Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Instituto Politécnico Nacional
1999
|
| Schlagworte: | |
| Online-Zugang: | https://www.redalyc.org/articulo.oa?id=61520308 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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