Misc.

2002

Contradiction-free proof procedure with visualization for extended logic programs

Proc. SSGRR 2002
  • YAMASAKI S.

Volume
4
Number

Link information
CiNii Articles
http://ci.nii.ac.jp/naid/10011086190
ID information
  • CiNii Articles ID : 10011086190

Export
BibTeX RIS