引用本文:	蔡少伟,陈振邦,王戟,詹博华,赵永望.约束求解与定理证明专题前言.软件学报,2023,34(8):3465-3466

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 1543次下载 4451次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
约束求解与定理证明专题前言
蔡少伟¹, 陈振邦², 王戟², 詹博华¹, 赵永望³
1.中国科学院软件研究所, 北京 100190;2.国防科技大学计算机学院, 湖南长沙 410073;3.浙江大学计算机科学与技术学院, 浙江杭州 310007

摘要:

关键词:

DOI：10.13328/j.cnki.jos.006871

分类号:

基金项目:

Abstract:

Key words:

引用本文:

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览次下载次
分享到：微信更多字体:加大+\|默认\|缩小-

摘要:

关键词:

DOI：

分类号:

基金项目:

Abstract:

Key words: