文献
J-GLOBAL ID:201302262800732629
整理番号:13A0055756
非単調な順序づけと単純化を用いた等号調整法
Paramodulation with Non-Monotonic Orderings and Simplification
著者 (2件):
BOFILL Miquel
(Univ. de Girona, Dept. Informatica i Matematica Aplicada, Campus Montilivi, Ed. P4, 17071, Girona, ESP)
,
RUBIO Albert
(Univ. Politecnica de Catalunya, Dept. Llenguatges i Sistemes Informatics, C/ Jordi Girona, 1-3, 08034, Barcelona, ESP)
資料名:
Journal of Automated Reasoning
(Journal of Automated Reasoning)
巻:
50
号:
1
ページ:
51-98
発行年:
2013年01月
JST資料番号:
D0269E
ISSN:
0168-7433
CODEN:
JAREEW
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)