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 |