Type: Proceedings
2017
[14]GCAI 2017. 3rd Global Conference on Artificial Intelligence, (Christoph Benzmüller, Christine Lisetti, Martin Theobald, eds.), EasyChair, EPiC Series in Computing, volume 41, 2017. (event-website) (To appear in Oct 2017) [bibtex]
2016
[13] 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]
[12] 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
[11] 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
[10] 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
[9] 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]
2007
[8] 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
[7] 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
[6] 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
[5] Computer-Supported Mathematical Theory Development, (Christoph Benzmüller, Wolfgang Windsteiger, eds.), RISC Report Series, number 04-14, 2004. (Proceedings of the first ``Workshop on Computer-Supported Mathematical Theory Development'' held in the frame of IJCAR 2004 in Cork, Ireland, July 5, 2004. ISBN 3-902276-04-5.) [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. (121 pages) [bibtex] [pdf]
[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. ((130 pages)) [bibtex] [pdf]
[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. ((168 pages)) [bibtex] [pdf]
[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. ((115 pages)) [bibtex] [pdf]
Powered by bibtexbrowser