Rule Validation Based on Logical Deduction

DBLP:conf/cikm/WuS93 + redirect page

Has publishing details pp. 164-173, 1993

Has title Rule Validation Based on Logical Deduction

Has url http://www.informatik.uni-trier.de/~ley/db/conf/cikm/cikm93.html#WuS93

Has where published CIKM

Has year 1993

Has author Ping Wu +, Stanley Y. W. Su +

Has identifier Rule Validation Based on Logical Deduction +

Categories Proceeding Paper +