Computing Abduction in Semantic Tableaux
Fuente:
Redalyc
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artículo científico |
| Sprache: | en |
| Veröffentlicht: |
Instituto Politécnico Nacional
1998
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1876438102223880192 |
|---|---|
| author | Atocha Aliseda |
| author_facet | Atocha Aliseda |
| contents | Computing Abduction in Semantic Tableaux Atocha Aliseda Computación 1998 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61520102 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.1 Vol.2 |
| format | Artículo científico |
| id | redalyc_61520102 |
| institution | Redalyc |
| language | en |
| publishDate | 1998 |
| publisher | Instituto Politécnico Nacional |
| spellingShingle | Computing Abduction in Semantic Tableaux Atocha Aliseda Computación Computing Abduction in Semantic Tableaux Atocha Aliseda Computación 1998 artículo científico 1405-5546 https://www.redalyc.org/articulo.oa?id=61520102 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.1 Vol.2 |
| title | Computing Abduction in Semantic Tableaux |
| topic | Computación |
| url | https://www.redalyc.org/articulo.oa?id=61520102 |