Libro
|
Formal methods in artificial intelligence
|
Ramsay, Allan
|
1st ed.
(1988)
|
Domicilio
|
----------
|
Programa de estudio
|
Fundamentos de Teoría de la Computación
|
Pons, Claudia Fabiana
|
(2019)
|
|
----------
|
Libro
|
Fundamentos de informática: lógica, resolución de problemas, programas y computadoras
|
Sin autor
|
1a ed.
(c1994)
|
Domicilio
|
----------
|
Libro
|
Fuzzy sets and systems: Theory and applications
|
Dubois, Didier
|
(1980)
|
Domicilio
|
----------
|
Tesis
|
Implementación de chequeadores de modelos para MAS:
|
Fournier, Gastón
|
(2014)
|
Sala
|
----------
|
Tesis
|
Inteligencia en aplicaciones sensibles al contexto:
|
Diab, José Carlos
|
(2007)
|
Sala
|
----------
|
Libro
|
Introducción a la lógica
|
Copi, Irving Marmer
|
32a ed.
(1992)
|
|
----------
|
Libro
|
Introducción a la teoría de conjuntos
|
Oubiña, Lía
|
8a ed.
(1976)
|
Domicilio
|
----------
|
Libro
|
Introduction to mathematical logic:
|
Mendelson, Elliott
|
5th ed.
(c2010)
|
Domicilio
|
----------
|
Libro
|
Introduçao à lógica
|
Nérici, Imideo Giuseppe
|
6a. ed.
(1981)
|
Domicilio
|
----------
|