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: 
prologsemantic Webinterface
 Summary | Full Text:PDF