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)
|