LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners (bibtex)
by Max Wisniewski, Alexander Steen, Christoph Benzmüller
Reference:
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners (Max Wisniewski, Alexander Steen, Christoph Benzmüller), In Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings (Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, eds.), Springer, LNCS, volume 9150, pp. 325--330, 2015.
Bibtex Entry:
@inproceedings{C45,
  Author =	 {Max Wisniewski and Alexander Steen and Christoph
                  Benzm{\"{u}}ller},
  Booktitle =	 {Intelligent Computer Mathematics - International
                  Conference, {CICM} 2015, Washington, DC, USA, July
                  13-17, 2015, Proceedings},
  Doi =		 {10.1007/978-3-319-20615-8_22},
  Editor =	 {Manfred Kerber and Jacques Carette and Cezary
                  Kaliszyk and Florian Rabe and Volker Sorge},
  Keywords =	 {own, Automated Reasoning, LEO Prover, Higher Order Logic,
                  Agents},
  Pages =	 {325--330},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {LeoPARD - {A} Generic Platform for the
                  Implementation of Higher-Order Reasoners},
  Url =		 {http://christoph-benzmueller.de/papers/C45.pdf},
  Volume =	 9150,
  Year =	 2015,
}
Powered by bibtexbrowser