FRANCISCO
PALOMO LOZANO
Profesor Titular de Escuela Universitaria
José Antonio
Alonso Jiménez
José Antonio Alonso Jiménez-rekin lankidetzan egindako argitalpenak (2)
2004
-
Verified Computer Algebra in ACL2 (Gröbner Bases Computation)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3249, pp. 171-184
2001
-
A certified polynomial-based decision procedure for propositional logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)