[IEEE 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2015.5.21-2015.5.23)] 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics - A case study in proof based synthesis of algorithms on monotone lists

• 作者Dramnesc, Isabela; Jebelean, Tudor
• 文件大小269.19KB
• 发表时间2015
• DOI10.1109/saci.2015.7208252
• 页码483-488