|
| Keyword : prolog
|
Extending LogicWeb via Hereditary Harrop Formulas Keehang KWON Dae-Seong KANG | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2008/06/01
Vol. E91-D
No. 6 ;
pp. 1827-1829
Type of Manuscript:
LETTER
Category: Fundamentals of Software and Theory of Programs Keyword: prolog, semantic Web, interface, | | | Summary | Full Text:PDF | |
|
|