Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 5 |
| Annotated Logics | 1 |
| Ciencias Informáticas | 5 |
| Knowledge Mining | 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 |