Proof transformation and expansion with a parameterisable inference machine. (bibtex)
by Christoph Benzmüller, Andreas Meier, Martin Pollet, Volker Sorge
Reference:
Proof transformation and expansion with a parameterisable inference machine. (Christoph Benzmüller, Andreas Meier, Martin Pollet, Volker Sorge), In Proceedings of the Eighth Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, University of York, pp. 1-2, 2001. (Url (preprint): http://christoph-benzmueller.de/papers/W9.pdf)
Bibtex Entry:
@inproceedings{W9,
  Author =	 {Christoph Benzm{\"u}ller and Andreas Meier and
                  Martin Pollet and Volker Sorge},
  Booktitle =	 {Proceedings of the Eighth Workshop on Automated
                  Reasoning, Bridging the Gap between Theory and
                  Practice},
  Note =	 {(Mildly reviewed)},
  Pages =	 {1-2},
  Publisher =	 {University of York},
  Title =	 {Proof transformation and expansion with a
                  parameterisable inference machine.},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W9.pdf}},
  Year =	 2001,
}
Powered by bibtexbrowser