文献
J-GLOBAL ID:200902045828409161
整理番号:92A0353904
部分集合方程式プログラムの実現
Implementation of subset-equational programs.
著者 (1件):
JAYARAMAN B
(State Univ. New York at Buffalo, NY)
資料名:
Journal of Logic Programming
(Journal of Logic Programming)
巻:
12
号:
4
ページ:
299-324
発行年:
1992年04月
JST資料番号:
B0231B
ISSN:
0743-1066
CODEN:
JLPRE2
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)