A Proof Method of Logic Programs in Parallel Environment
Vol. 18, No. 3, pp. 425-438, Mar. 1993
Statistics
Cumulative Counts from November, 2022
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.
Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.
|
|
Cite this article
[IEEE Style]
이원석, "A Proof Method of Logic Programs in Parallel Environment," The Journal of Korean Institute of Communications and Information Sciences, vol. 18, no. 3, pp. 425-438, 1993. DOI: .
[ACM Style]
이원석. 1993. A Proof Method of Logic Programs in Parallel Environment. The Journal of Korean Institute of Communications and Information Sciences, 18, 3, (1993), 425-438. DOI: .
[KICS Style]
이원석, "A Proof Method of Logic Programs in Parallel Environment," The Journal of Korean Institute of Communications and Information Sciences, vol. 18, no. 3, pp. 425-438, 3. 1993.
pISSN : 1226 - 4717
eISSN : 2287 - 3880