Automatic Learning of Proof Methods in Proof Planning (bibtex)
by Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller
Reference:
Automatic Learning of Proof Methods in Proof Planning (Mateja Jamnik, Manfred Kerber, Martin Pollet, Christoph Benzmüller), In The Logic Journal of the IGPL, volume 11, number 6, pp. 647-674, 2003. (Url (preprint): http://christoph-benzmueller.de/papers/J7.pdf)
Bibtex Entry:
@article{J7,
  Author =	 {Mateja Jamnik and Manfred Kerber and Martin Pollet
                  and Christoph Benzm{\"u}ller},
  Doi =		 {10.1093/jigpal/11.6.647},
  Journal =	 {The Logic Journal of the IGPL},
  Keywords =	 {own, Agents, Proof Assistants, Proof Planning,
                  System Integration, Machine Learning, ERIH PLUS},
  Number =	 6,
  Pages =	 {647-674},
  Title =	 {Automatic Learning of Proof Methods in Proof
                  Planning},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J7.pdf}},
  Volume =	 11,
  Year =	 2003,
}
Powered by bibtexbrowser