Matemática aplicada. Verificación de programas

La afinidad entre un programa informático y un teorema hace que los matemáticos se interesen por los medios algorítmicos de demostración automática de teoremas.

Puedes obtener el artículo en...

¿Tienes acceso a la revista?

Los boletines de Investigación y Ciencia

Elige qué contenidos quieres recibir.