Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 6 |
| Annotated Logics | 1 |
| Ciencias Informáticas | 6 |
| Implementación de Disputación | 1 |
| Knowledge Mining | 1 |
| Lógica Default | 1 |
| Matrix Connection Method | 1 |
| Paraconsistent Logics | 1 |
| Thcorem Proving | 1 |
| argumentative systems | 2 |
| defeasible reasoning | 2 |
| knowledge representation | 1 |
| modal logic | 1 |
| theory of conditionals | 1 |