検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 1-1 / 1.
  • 1
検索結果:
書誌情報ファイル
Modularization and Abstraction in Logic Programming
  Furukawa, K.; Nakajima, R.; Yonezawa, A. (1983-03)
  数理解析研究所講究録, 482: 296-310
file type icon 

絞り込み

発行日
分類