|
题名:
|
交互式定理证明与程序开发: Coq归纳构造演算的艺术 / Yves Bertot, Pierre Casteran , |
|
ISBN:
|
978-7-302-20813-6 价格： CNY59.00 |
|
载体形态:
|
432页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 20100101 |
|
主题词:
|
定理证明 |
|
中图分类法:
|
O141 版次： |