NAVARRO M について
EHU, San Sebastian, ESP について
OREJAS F について
UPC, Barcelona, ESP について
REMY J-L について
Univ. Nancy, Vandoevre, FRA について
Acta Informatica について
述語論理 について
計算理論 について
条件付 について
仕様記述 について
証明 について
文脈 について
書換え について
TOP
BOTTOM