Extending LogicWeb via Hereditary Harrop Formulas
IEICE Transactions on Information and Systems - Japan
doi 10.1093/ietisy/e91-d.6.1827
Full Text
Open PDFAbstract
Available in full text
Categories
Date
June 1, 2008
Authors
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)