文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Andre J. Sampaio
发表
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving
Marcelo F. Frias, Cristina D. Ururahy, Armando Martin Haeberer, 1995, TAPSOFT.