数学机械化系统科学征稿简则国家最高科技奖交叉科学学术论文核心期刊机器证明
摘要:《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社