Formal Representation of Guarded Logic Programs Using Petri Net Model
- Publisher
- 한국정보과학회
- Issue Date
- 1993
- Language
- KOR
- Citation
Proc. of the 20th Korea Information Science Society Fall Conf., v.20, no.2, pp.1081 - 1084
- Appears in Collection
- CS-Conference 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.