Type: Proceedings
2018
[19]Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, (Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds.), Springer, Lecture Notes in Computer Science, volume 11092, 2018. [bibtex] [doi]
[18] ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, 2018. (event-website) [bibtex] [pdf]
2017
[17] GCAI 2017. 3rd Global Conference on Artificial Intelligence, (Christoph Benzmüller, Christine Lisetti, Martin Theobald, eds.), EasyChair, EPiC Series in Computing, volume 41, 2017. [bibtex] [pdf]
2016
[16] GCAI 2016. 2nd Global Conference on Artificial Intelligence, (Christoph Benzmüller, Geoff Sutcliffe, Raul Rojas, eds.), EasyChair, EPiC Series in Computing, volume 41, 2016. (event-website) [bibtex] [pdf]
[15] ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 1770, pp. 1-86, 2016. (event-website) [bibtex] [pdf]
2015
[14] ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics, (Christoph Benzüller, Jens Otten, eds.), EasyChair, EPiC Series in Computing, volume 33, pp. 1-86, 2015. (event-website) [bibtex] [pdf]
2014
[13] Proceedings of the 11th International Workshop on User Interfaces for Theorem Provers (UITP 2014), Vienna, Austria, (Christoph Benzüller, Bruno Woltzenlogel Paleo, eds.), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 167, pp. 1-94, 2014. [bibtex] [pdf] [doi]
2009
[12] Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers (UITP 2008), Montréal, Canada, (Serge Autexier, Christoph Benzüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 226, pp. 1-106, 2009. [bibtex] [pdf]
2008
[11] Reasoning in Simple Type Theory -- Festschrift in Honor of Peter B. Andrews on His 70th Birthday, (Christoph Benzmüller, Chad Brown, Jörg Siekmann, Richard Statman, eds.), College Publications, Studies in Logic, Mathematical Logic and Foundations, pp. 460, 2008. [bibtex] [pdf]
2007
[10] User Interfaces for Theorem Provers, Proceedings of UITP'06, (Serge Autexier, Christoph Benzmüller, eds.), Elsevier, Electronic Notes in Theoretical Computer Science, volume 174, number 2, pp. 1-2, 2007. [bibtex] [pdf]
2006
[9] Special Issue on Assistance Systems for Mathematics, (Christoph Benzmüller, ed.), Journal of Applied Logic, Elsevier, 2006. [bibtex] [pdf]
[8] Proceedings of the 6th International Workshop on the Implementation of Logics, (Christoph Benzmüller, Bernd Fischer, Geoff Sutcliffe, eds.), CEUR-WS.org, CEUR Workshop Proceedings, volume 212, 2006. [bibtex] [pdf]
2005
[7] Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), (Christoph Benzmüller, John Harrison, Carsten Schürmann, eds.), 2005. (arXiv:cs/0601042) [bibtex] [pdf]
2004
[6]Computer-Supported Mathematical Theory Development, (Christoph Benzmüller, Wolfgang Windsteiger, eds.), RISC Report Series, number 04-14, 2004. (Url (preprint): http://christoph-benzmueller.de/papers/E6.pdf) [bibtex]
2003
[5] Systems for Integrated Computation and Deduction -- Interim Report of the CALCULEMUS IHP Network, (Christoph Benzmüller, ed.), SEKI Publications (ISSN 1437-4447), 2003. (135 pages) [bibtex] [pdf]
2002
[4]CALCULEMUS Autumn School 2002: Course Notes (Part III), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-09, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/E4.pdf) [bibtex]
[3]CALCULEMUS Autumn School 2002: Course Notes (Part II), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-08, pp. 1-130, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/E3.pdf) [bibtex]
[2]CALCULEMUS Autumn School 2002: Course Notes (Part I), (Christoph Benzmüller, Regine Endsuleit, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-07, pp. 1-168, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/E2.pdf) [bibtex]
[1]CALCULEMUS Autumn School 2002: Student Poster Abstracts, (Jürgen Zimmer, Christoph Benzmüller, eds.), SEKI Publications (ISSN 1437-4447), number SR-02-06, pp. 1-116, 2002. (Url (preprint): http://christoph-benzmueller.de/papers/E1.pdf) [bibtex]
Powered by bibtexbrowser