%0 Conference Paper %1 conf/cade/BenzmullerPTF08 %A Benzmüller, Christoph %A Paulson, Lawrence C. %A Theiss, Frank %A Fietzke, Arnaud %B IJCAR %D 2008 %E Armando, Alessandro %E Baumgartner, Peter %E Dowek, Gilles %I Springer %K dblp %P 162-170 %T LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). %U http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#BenzmullerPTF08 %V 5195 %@ 978-3-540-71069-1

@inproceedings{conf/cade/BenzmullerPTF08, added-at = {2019-09-25T00:00:00.000+0200}, author = {Benzmüller, Christoph and Paulson, Lawrence C. and Theiss, Frank and Fietzke, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/2a88396c25035b947a718c3aac22c82d6/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2008}, editor = {Armando, Alessandro and Baumgartner, Peter and Dowek, Gilles}, ee = {https://www.wikidata.org/entity/Q56020733}, interhash = {afccdd1f6828a19d1c8cc4105866f1f9}, intrahash = {a88396c25035b947a718c3aac22c82d6}, isbn = {978-3-540-71069-1}, keywords = {dblp}, pages = {162-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:24:34.000+0200}, title = {LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description).}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2008.html#BenzmullerPTF08}, volume = 5195, year = 2008 }