原名:Mathematics & Statistics – Indian Institute of Technology Kanpur
作品简介:gp – 7609。助理教授。 Kundu D (HEAD) kundu – 7141. 阿南德 A
复杂动力学、拓扑学、组合学、数理逻辑、..
完整性布尔代数，计算机辅助形式证明：
画面，.模型 (GLIM)，使用逻辑分析二进制和分组数据
瞧……
资源下载
VIP免费升级VIP
原名:Mathematics & Statistics – Indian Institute of Technology Kanpur
作品简介:gp – 7609。助理教授。 Kundu D (HEAD) kundu – 7141. 阿南德 A
复杂动力学、拓扑学、组合学、数理逻辑、..
完整性布尔代数，计算机辅助形式证明：
画面，.模型 (GLIM)，使用逻辑分析二进制和分组数据
瞧……
