A<span style=text-decoration:overline>I ̈</span>T-KACI H について
Microelectronics and Computer Technology Corp., TX, USA について
Microelectronics and Computer Technology Corp., TX, USA について
Journal of Logic Programming について
高水準言語 について
ユニフィケーション について
汎用プログラミング言語 について