Bases de ideales en multirreticulos y delta-arboles

Tesis doctoral de Gloria Gutierrez Barranco El grupo de investigacion gimac ha desarrollado la metodología de demostracion automatica de teoremas […]

, , , , ,