BibTeX record conf/cade/SutcliffeBBT09

• > Home > conf/cade/SutcliffeBBT09

@inproceedings{DBLP:conf/cade/SutcliffeBBT09,
  author       = {Geoff Sutcliffe and
                  Christoph Benzm{\"{u}}ller and
                  Chad E. Brown and
                  Frank Theiss},
  editor       = {Renate A. Schmidt},
  title        = {Progress in the Development of Automated Theorem Proving for Higher-Order
                  Logic},
  booktitle    = {Automated Deduction - CADE-22, 22nd International Conference on Automated
                  Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5663},
  pages        = {116--130},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02959-2\_8},
  doi          = {10.1007/978-3-642-02959-2\_8},
  timestamp    = {Fri, 09 Apr 2021 18:50:53 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SutcliffeBBT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}