原名:Proof assistant decision procedures for formalizing origami
作品简介:折纸形式化的证明辅助决策程序 Cezary Kaliszyk 和 Tetsuo Ida {kaliszyk,ida}@cs.tsukuba.ac.jp 符号计算研究小组……
资源下载
包年VIP免费升级包年VIP
原名:Proof assistant decision procedures for formalizing origami
作品简介:折纸形式化的证明辅助决策程序 Cezary Kaliszyk 和 Tetsuo Ida {kaliszyk,ida}@cs.tsukuba.ac.jp 符号计算研究小组……