BECKMAN L について
Uppsala Univ., Uppsala, SWE について
GUSTAVSSON R について
Uppsala Univ., Uppsala, SWE について
WAERN A について
Uppsala Univ., Uppsala, SWE について
Proceedings. Symposium on Logic in Computer Science, 1986 について
並列処理 について
計算理論 について
論理プログラム について
モデル について