Horn equational theories and paramodulation
- 作者Ulrich Furbach; Steffen Hölldobler; Joachim Schreiber
- 卷第5卷
- 期第3期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小1531.08KB
- 发表时间1989-09
- DOI10.1007/bf00248322
- 页码309-337
同作者推荐
绥中地方党史资料 1 义勇军抗日斗争史料中共绥中县委党史资料征集办公室编 · 中共绥中县委党史资料征集办公室 · 1987
下五家子惨案中共绥中县委党史资料征集办公室编 · 2222
绥中县抗日义勇军印证材料摘录中共绥中县委党史资料征集办公室编 · 1984
绥中地方党史资料 2 凌青绥抗日游击根据地中共绥中县委党史资料征集办公室编 · 中共绥中县委党史资料征集办公室 · 1989
东北义勇军在绥中抗日斗争史料 1931.10-1933.04中共绥中县委党史资料征集小组办公室编 · 1984
解放战争时期 1945.8-1949.10 绥中县党政军组织沿革情况中共绥中县委党史资料征集小组办公室编 · 1984