2002
Contradiction-free proof procedure with visualization for extended logic programs
Proc. SSGRR 2002
- Volume
- 4
- Number
- Link information
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/10011086190
- ID information
-
- CiNii Articles ID : 10011086190