文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Karine Yvon
发表
Une technique déclarative pour filtrer des motifs topologiques de protéines
David R. Gilbert, Janet M. Thornton, David R. Westhead, 2000, Journées Francophones de Programmation Logique par Contraintes.