Tree-Based Heuristics in Modal Theorem Proving

Areces, C., Gennari, R., Heguiabehere, J., and de Rijke, M.. Tree-Based Heuristics in Modal Theorem Proving. In Proceedings of ECAI'2000, pp. 199–203, Berlin, Germany, 2000.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:tree00,
  author = {Areces, C. and Gennari, R. and Heguiabehere, J. and de Rijke, M.},
  title = {Tree-Based Heuristics in Modal Theorem Proving},
  booktitle = {Proceedings of ECAI'2000},
  year = {2000},
  editor = {Horn, W.},
  pages = {199--203},
  address = {Berlin, Germany},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49