Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. Mokwana, M. L. and van der Poll, J. A. In Barnett, R. J.; Cleophas, L. G.; Kourie, D. G.; le Roux, D. B.; and Watson, B. W., editors, SAICSIT Conf., pages 29, 2015. ACM.
Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. [link]Link  Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau. [link]Paper  bibtex   
@inproceedings{conf/saicsit/MokwanaP15,
  added-at = {2015-12-29T00:00:00.000+0100},
  author = {Mokwana, Mapetlwane Litha and van der Poll, John Andrew},
  biburl = {http://www.bibsonomy.org/bibtex/29d221a468c488ca43cd5a2a0503855af/dblp},
  booktitle = {SAICSIT Conf.},
  crossref = {conf/saicsit/2015},
  editor = {Barnett, Richard J. and Cleophas, Loek G. and Kourie, Derrick G. and le Roux, Daniel B. and Watson, Bruce W.},
  ee = {http://doi.acm.org/10.1145/2815782.2815823},
  interhash = {6154fe237caa9ad2b75f9f328d4c2b49},
  intrahash = {9d221a468c488ca43cd5a2a0503855af},
  isbn = {978-1-4503-3683-3},
  keywords = {dblp},
  pages = 29,
  publisher = {ACM},
  timestamp = {2015-12-30T11:35:14.000+0100},
  title = {Evaluating Resolution-Based Reasoning Heuristics for Connection Tableau.},
  url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2015.html#MokwanaP15},
  year = 2015
}
Downloads: 0