[学位论文]
  • Aransay Azofra, Jesus Maria
  • Universidad de la Rioja (Spain)
ISBN 9780542601415
作者 Aransay Azofra, Jesus Maria   授予学位单位 Universidad de la Rioja (Spain)  
导师 Rubio, Julio 学位 Dr.
学科 Computer science   国籍 ES
页码/总页数 204 p. / 204 出版年 2006
中图分类号 TP
关键词 Homological algebra   Mechanized reasoning   Program extraction