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 について
順序づけ について
単純化 について
調整法 について