Your search returned 5 results.

Sort
Results
Sobre la representación de S4.3. by
Material type: Text 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 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 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 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 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 .

Pages