[IEEE 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2012.05.24-2012.05.26)] 2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) - Theory Exploration in Theorema: Case Study on Lists
Dramnesc, Isabela; Jebelean, Tudor
- 作者Dramnesc, Isabela; Jebelean, Tudor
- 文件大小302.02KB
- 发表时间2012
- DOI10.1109/saci.2012.6250041
- 页码421-426