Colección: TEMAS
| Temas | Cantidad |
|---|---|
| ARTIFICIAL INTELLIGENCE | 7 |
| Annotated Logics | 1 |
| Ciencias Informáticas | 7 |
| Finite Presheaf | 1 |
| Intelligent agents | 1 |
| Knowledge Mining | 1 |
| Matrix Connection Method | 1 |
| Paraconsistent Logics | 1 |
| Thcorem Proving | 1 |
| argumentation | 1 |
| argumentative systems | 2 |
| defeasible reasoning | 2 |
| generic programming | 1 |
| knowledge representation | 2 |
| modal logic | 1 |
| rational agents | 1 |
| theory of conditionals | 1 |