논리 프로그램의 병렬 수행 모형에서 완경성과 효율성의 분석The Analysis of Completeness and Soundness in Parallel Execution Models of Logic Programs
- Publisher
- 한국정보과학회
- Issue Date
- 1996-12
- Language
- Korean
- Citation
정보과학회논문지(B), v.23, no.12, pp.1320 - 1335
- ISSN
- 1738-5385
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.