- idUS
- Investigación
- Ciencias
- Algebra
- Ponencias (Álgebra)
- Listar Ponencias (Álgebra) por autor
Listar Ponencias (Álgebra) por autor "Briales Morales, Emilio"
Mostrando ítems 1-1 de 1
-
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 ...