《计算机科学与探索》唯一官方网站
 首页  |  期刊介绍  |  编委会  |  投稿指南  |  道德声明  |  中图分类号  |  期刊订阅  |  联系我们  |  English
《计算机科学与探索》唯一官方网站
  综述·探索 本期目录 | 过刊浏览 | 高级检索 |
SMT求解技术简述
金继伟+,马菲菲,张  健
中国科学院 软件研究所,北京 100190
Brief Introduction to SMT Solving
JIN Jiwei+, MA Feifei, ZHANG Jian
Institute of Software, Chinese Academy of Sciences, Beijing 100190, China
版权所有 © 《《计算机科学与探索》唯一官方网站》编辑部
通信地址: 北京619信箱26分箱 邮编: 100083 电话: (010)89056056 E-mail: fcst@vip.163.com
技术支持:北京玛格泰克科技发展有限公司
京ICP备13024263号-1