文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Melven Robert Krom
发表
A DECISION PROCEDURE FOR A CLASS OF FORMULAS OF FIRST ORDER PREDICATE CALCULUS
Melven Robert Krom, 1964 .