Results
|
|
Sobre la representación de S4.3. by
Material type: Text; Literary form:
Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .
|
|
|
Modal Logic by Series: ; 53^v 53
Edition: 4th ed.
Material type: Text; Literary form:
Not fiction
Publication details: Nueva York : Cambridge University Press, 2010
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: F.4.1 BLA .
|
|
|
Completitud e implementación de modalidades en MAS by
Material type: Text; Literary form:
Not fiction
Publication details: 2011
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 11/38 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
|
|
|
Formal methods in artificial intelligence by
Edition: 1st ed.
Material type: Text; Literary form:
Not fiction
Publication details: Cambridge : Cambridge University Press, 1988
Availability: Items available for loan: Biblioteca de la Facultad de Informática (1)Call number: I.2.4 RAM.
|
|
|
Implementación de chequeadores de modelos para MAS by
Material type: Text; Literary form:
Not fiction
Publication details: 2014
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2014.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 14/23 .
|