Estantes Virtuales
TítuloAutorLugarEdicíon
Logic for mathematicians Hamilton, A. G. Cambridge Rev. ed., repr.   (2000)
Teoría de la computación y verificación de programas Rosenfeld, Ricardo Fabián La Plata 1a ed.   (2010)
Computabilidad, complejidad computacional y verificación de programas Rosenfeld, Ricardo Fabián La Plata 1a ed.   (2013)
Artificial Intelligence Russell, Stuart J. Nueva Jersey 3rd ed.   (2010)
Computabilidad, complejidad computacional y verificación de programas Rosenfeld, Ricardo Fabián La Plata 1a ed.   (2013)
Lógica para informática Pons, Claudia Fabiana La Plata 1a ed.   (2017)