Towards Fine-Grained Proof Planning with Critical Agents (bibtex)
by Christoph Benzmüller, Volker Sorge
Reference:
Towards Fine-Grained Proof Planning with Critical Agents (Christoph Benzmüller, Volker Sorge), In Proceedings of the 6th Workshop on Automated Reasoning, Edinburgh College of Art & Divison of Informatics, University of Edinburgh, pp. 19-20, 1999. (Url (preprint): http://christoph-benzmueller.de/papers/W3.pdf)
Bibtex Entry:
@inproceedings{W3,
  Author =	 {Christoph Benzm{\"u}ller and Volker Sorge},
  Booktitle =	 {Proceedings of the 6th Workshop on Automated
                  Reasoning},
  Note =	 {(Mildly reviewed)},
  Pages =	 {19-20},
  Publisher =	 {Edinburgh College of Art \& Divison of Informatics,
                  University of Edinburgh},
  Title =	 {Towards Fine-Grained Proof Planning with Critical
                  Agents},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W3.pdf}},
  Year =	 1999,
}
Powered by bibtexbrowser