Davis, Martin
Computability and unsolvability/ Martin Davis - New York: Dover Publications 1982. - 248 p. - McGraw-Hill Series in Information Processing and Computers .
Contiene bibliografía e índice p. 237
0486614719
INSOLUBILIDAD (LOGICA MATEMATICA)
ALGORITMOS
FUNCIONES RECURSIVAS
CALCULO NUMERICO
511.3 / D194c
Computability and unsolvability/ Martin Davis - New York: Dover Publications 1982. - 248 p. - McGraw-Hill Series in Information Processing and Computers .
Contiene bibliografía e índice p. 237
0486614719
INSOLUBILIDAD (LOGICA MATEMATICA)
ALGORITMOS
FUNCIONES RECURSIVAS
CALCULO NUMERICO
511.3 / D194c
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.