暂无分享,去创建一个
Hitoshi Watanabe | Kenji Nishitani
[1] R. Fateman,et al. A System for Doing Mathematics by Computer. , 1992 .