GLUECK R について
Univ. Technology Vienna, Vienna, AUS について
KLIMOV A V について
Keldysh Inst. Applied Mathematics, Russian Academy of Sciences, Moscow, SUN について
Lecture Notes in Computer Science について
プログラム変換 について
プログラム特殊化 について
計算理論 について
言語プロセッサ について
計算 について
Occam について
カミソリ について
プロセス について
木 について
概念 について