|
|
|||||||||||||||
|
Cerca | Lliura | Ajuda | Servei de Biblioteques | Sobre el DDD | Català English Español | |||||||||
| Pàgina inicial > Documents de recerca > Treballs de recerca i projectes de final de carrera > Formalising deductive coherence : |
| Data: | 2008 |
| Descripció: | 66 p. |
| Drets: | Aquest document està subjecte a una llicència d'ús Creative Commons. Es permet la reproducció total o parcial, la distribució, i la comunicació pública de l'obra, sempre que no sigui amb finalitats comercials, i sempre que es reconegui l'autoria de l'obra original. No es permet la creació d'obres derivades. |
| Llengua: | Anglès |
| Col·lecció: | Escola d'Enginyeria. Departament de Ciències de la Computació. Treballs de recerca de postgrau |
| Document: | Treball de fi de postgrau |
| Matèria: | Agents intel·ligents (Programes d'ordinador) ; Intel·ligència artificial ; Ciència cognitiva |
Treball de recerca 66 p, 633.9 KB |