%0 Conference Paper %1 conf/ki/SteenB19 %A Steen, Alexander %A Benzmüller, Christoph %B KI %D 2019 %E Benzmüller, Christoph %E Stuckenschmidt, Heiner %I Springer %K dblp %P 333-337 %T The Higher-Order Prover Leo-III (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ki/ki2019.html#SteenB19 %V 11793 %@ 978-3-030-30179-8

@inproceedings{conf/ki/SteenB19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Steen, Alexander and Benzmüller, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2cb5a01eb61db765fc5c868993cec7788/dblp}, booktitle = {KI}, crossref = {conf/ki/2019}, editor = {Benzmüller, Christoph and Stuckenschmidt, Heiner}, ee = {https://doi.org/10.1007/978-3-030-30179-8_30}, interhash = {e786d31143254cf1d0bbf1357ed54df3}, intrahash = {cb5a01eb61db765fc5c868993cec7788}, isbn = {978-3-030-30179-8}, keywords = {dblp}, pages = {333-337}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:01:49.000+0200}, title = {The Higher-Order Prover Leo-III (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ki/ki2019.html#SteenB19}, volume = 11793, year = 2019 }