Tree-Based Heuristics in Modal Theorem Proving (abstract)

Areces, C., Gennari, R., Heguiabehere, J., and de Rijke, M.. Tree-Based Heuristics in Modal Theorem Proving (abstract). In Proceedings BNAIC'01, pp. 31–32, 2001.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces-tree-based-abstract-2001,
  author = {Areces, C. and Gennari, R. and Heguiabehere, J. and de Rijke, M.},
  title = {Tree-Based Heuristics in Modal Theorem Proving (abstract)},
  booktitle = {Proceedings BNAIC'01},
  year = {2001},
  pages = {31--32},
}

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