- idUS
- Investigación
- Ciencias
- Algebra
- Listar Algebra por autor
Listar Algebra por autor "Alonso Jiménez, José Antonio"
Mostrando ítems 1-2 de 2
-
Ponencia
Lógicas polivalentes y bases de Gröbner
Alonso Jiménez, José Antonio (1987)El objetivo de la comunicación es presentar una aplicación de las bases de Gröbner a la demostración automática en lógicas ...
-
Ponencia
Preuve automatique dans le calcul propositionnel et les logiques trivalentes
Alonso Jiménez, José Antonio; Briales Morales, Emilio (1987)Nous présentons une application des bases de Gröbner (bases standard) d’idéaux de polynômes la vérification des tautologies ...