Assertion Application in Theorem Proving and Proof Planning (bibtex)
by Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
Reference:
Assertion Application in Theorem Proving and Proof Planning (Quoc Bao Vo, Christoph Benzmüller, Serge Autexier), In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI) (G. Gottlob, T. Walsh, eds.), 2003. (poster) (Url (preprint): http://christoph-benzmueller.de/papers/C13.pdf)
Bibtex Entry:
@inproceedings{C13,
  Address =	 {Acapulco, Mexico},
  Author =	 {Quoc Bao Vo and Christoph Benzm{\"u}ller and Serge
                  Autexier},
  Booktitle =	 {Proceedings of the International Joint Conference on
                  Artificial Intelligence (IJCAI)},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/P12.pdf">poster</a>},
  Editor =	 {G. Gottlob and T. Walsh},
  Keywords =	 {own, Proof Assistants, OMEGA, Proof Planning, Deep
                  Inference},
  Note =	 {ISBN 0-127-05661-0},
  Title =	 {Assertion Application in Theorem Proving and Proof
                  Planning},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C13.pdf}},
  Year =	 2003,
}
Powered by bibtexbrowser