Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger)

TitleAlgoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger)
Publication TypeConference Proceedings
Year of Conference2002
AuthorsMedina-Bulo, I, Alonso-Jimenez, JA, Palomo-Lozano, F
Conference NameI Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial (Conferencia Iberoamericana de Inteligencia artificial)
Conference LocationSevilla, Spain