Baumgartner Alexander について
Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria について
Kutsia Temur について
Research Institute for Symbolic Computation, Johannes Kepler University Linz, Austria について
Information and Computation について
性ランクなし用語とヘッジのための高次反単一化 について
状況とヘッジ変数を用いた反単一化 について
森林の一般化 について
人工知能 について
計算理論 について
単一化 について