논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조집합: 직관적 접근 A Reference Set for the Correctness Proof of Resetting Algorithms in Parallel Execution of Logic Programs: An Intuitive Approach

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 210
  • Download : 0
Publisher
한국정보과학회
Issue Date
1996-03
Language
Korean
Citation

정보과학회논문지(B), v.23, no.3, pp.233 - 244

ISSN
1738-5385
URI
http://hdl.handle.net/10203/71065
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0