Leo-III Version 1.1 (System description) (bibtex)
by Christoph Benzmüller, Alexander Steen, Max Wisniewski
Reference:
Leo-III Version 1.1 (System description) (Christoph Benzmüller, Alexander Steen, Max Wisniewski), In IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 (Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov, eds.), EasyChair, Kalpa Publications in Computing, volume 1, 2017.
Bibtex Entry:
@inproceedings{C64,
  Address =	 {Maun, Botswana},
  Author =	 {Christoph Benzm{\"u}ller and Alexander Steen and Max
                  Wisniewski},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning},		  
  title =	 {{Leo-III} Version 1.1 (System description)},
  Booktitle =	 {IWIL@LPAR 2017 Workshop and {LPAR-21} Short
                  Presentations, Maun, Botswana, May 7-12, 2017},
  Editor =	 {Thomas Eiter and David Sands and Geoff Sutcliffe and
                  Andrei Voronkov},
  series =	 {Kalpa Publications in Computing},
  volume =	 1,
  publisher =	 {EasyChair},
  year =	 2017,
  Url =		 {http://www.easychair.org/publications/paper/342979},
}
Powered by bibtexbrowser