JAEGER G について
Inst. Informatik und angewandte Mathematik, Bern, CHE について
STAERK R F について
Inst. Informatik und angewandte Mathematik, Bern, CHE について
Journal of Logic Programming について
論理プログラミング について
計算理論 について
システムプログラミング一般 について
層状 について
階層 について
論理プログラム について
能力 について