文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Diego Caminha B. de Oliveira
发表
GridTPT: a distributed platform for Theorem Prover Testing
Pascal Fontaine, David Déharbe, Thomas Bouton, 2010, PAAR@IJCAR.