Formalismos de argumentación en especificación de agentes autónomos /
Guardado en:
Otros Autores: | , , |
---|---|
Formato: | Manuscrito |
Idioma: | Spanish |
Publicado: |
2012.
|
Materias: | |
Acceso en línea: | Texto completo |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
LEADER | 01526ntm a22003135a 4500 | ||
---|---|---|---|
001 | EUN.eunm004118 | ||
008 | 120529s2012####ag#######bm###000#0#spa#d | ||
005 | 20230320095707.0 | ||
245 | 1 | 0 | |a Formalismos de argumentación en especificación de agentes autónomos / |c Sebastian Gottifredi. |
260 | |c 2012. | ||
300 | |a [12], 278 p. ; |c 30 cm. | ||
500 | |a "Tesis de Doctor en Ciencias de la Computación". | ||
500 | |a Directores de tesis: Alejandro J. García y Guillermo R. Simari. | ||
502 | |a Tesis (doctoral)--Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación, 2012. | ||
504 | |a Incluye referencias bibliográficas. | ||
530 | |a Disponible también en formato digital. | ||
100 | 1 | |a Gottifredi, Sebastian. |4 dis |9 1580471 | |
700 | 1 | |a García, Alejandro Javier. |4 ths |9 1487517 | |
700 | 1 | |a Simari, Guillermo R. |q (Guillermo Ricardo) |4 ths |9 1464750 | |
710 | 2 | |a Universidad Nacional del Sur. |b Departamento de Ciencias e Ingeniería de la Computación |4 dgg. |9 1580474 | |
082 | 0 | 4 | |a 040 |2 15 |
082 | 0 | 4 | |a 006.3363 |2 21 |
650 | 7 | |a Inteligencia artificial. |2 unbist |9 007301 | |
650 | 7 | |a Lenguajes de programación. |2 unbist |9 1556062 | |
653 | |a Ciencias de la computación. |9 1576748 | ||
653 | |a Argumentación. |9 1562676 | ||
856 | 4 | 1 | |3 Texto completo |u http://repositoriodigital.uns.edu.ar/handle/123456789/2250 |
859 | |a AR-BaUNS |b BIB. CENTRAL - Tesis |h 040 |i B148 2012-1140 |k R |p 122934/012 | ||
859 | |a AR-BaUNS |b BIB. CENTRAL - Sector A - Tesis |h 040 |i B148 2012-1140 |p 122935/012 |