Rule Validation Based on Logical Deduction

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/cikm/WuS93, ee={db/conf/cikm/WuS93.html}, title={Rule Validation Based on Logical Deduction}, pages={164-173}, cdrom={CIKM1993/P164.pdf}, year={1993}, crossref={DBLP:conf/cikm/93}, booktitle={CIKM}, url={http://www.informatik.uni-trier.de/~ley/db/conf/cikm/cikm93.html#WuS93}, ee={http://doi.acm.org/10.1145/170088.170123}, author={Ping Wu and Stanley Y. W. Su} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Rule_Validation_Based_on_Logical_Deduction"
Personal tools