visitant ::
identificació
|
|||||||||||||||
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 |