Algunos problemas claves de investigación en la demostración mecánica de teoremas para la verificación de hardware y software.
Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1
Voir la notice de l'article provenant de la source Proyecto DML-E: Biblioteca Digital de Matemáticas
@article{RACSAM_2004_2004_1_a10,
author = {Kaufmann, Matt and Moore, J. Strother},
title = {Algunos problemas claves de investigaci\'on en la demostraci\'on mec\'anica de teoremas para la verificaci\'on de hardware y software.},
journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales. Matem\'aticas},
pages = {181-195},
publisher = {mathdoc},
volume = {98},
number = {1},
year = {2004},
language = {en},
url = {http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a10/}
}
TY - JOUR AU - Kaufmann, Matt AU - Moore, J. Strother TI - Algunos problemas claves de investigación en la demostración mecánica de teoremas para la verificación de hardware y software. JO - Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas PY - 2004 SP - 181 EP - 195 VL - 98 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a10/ LA - en ID - RACSAM_2004_2004_1_a10 ER -
%0 Journal Article %A Kaufmann, Matt %A Moore, J. Strother %T Algunos problemas claves de investigación en la demostración mecánica de teoremas para la verificación de hardware y software. %J Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas %D 2004 %P 181-195 %V 98 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a10/ %G en %F RACSAM_2004_2004_1_a10
Kaufmann, Matt; Moore, J. Strother. Algunos problemas claves de investigación en la demostración mecánica de teoremas para la verificación de hardware y software.. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Matemáticas, Tome 98 (2004) no. 1. http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a10/