Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs267.bht:"
@proceedings{DBLP:journals/corr/abs-1803-00722, editor = {Pedro Quaresma and Walther Neuper}, title = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, year = {2018}, url = {http://arxiv.org/abs/1803.00722}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00722.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01466, author = {Sebastian B{\"{o}}hne and Christoph Kreitz}, editor = {Pedro Quaresma and Walther Neuper}, title = {Learning how to Prove: From the Coq Proof Assistant to Textbook Style}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {1--18}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.1}, doi = {10.4204/EPTCS.267.1}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01466.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01467, author = {Arno Ehle and Norbert Hundeshagen and Martin Lange}, editor = {Pedro Quaresma and Walther Neuper}, title = {The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {19--37}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.2}, doi = {10.4204/EPTCS.267.2}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01467.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01468, author = {Ludovic Font and Philippe R. Richard and Michel Gagnon}, editor = {Pedro Quaresma and Walther Neuper}, title = {Improving QED-Tutrix by Automating the Generation of Proofs}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {38--58}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.3}, doi = {10.4204/EPTCS.267.3}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01468.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01469, author = {Mario Frank and Christoph Kreitz}, editor = {Pedro Quaresma and Walther Neuper}, title = {A Theorem Prover for Scientific and Educational Purposes}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {59--69}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.4}, doi = {10.4204/EPTCS.267.4}, timestamp = {Mon, 29 Mar 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01469.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01470, author = {Alan Krempler and Walther Neuper}, editor = {Pedro Quaresma and Walther Neuper}, title = {Prototyping "Systems that Explain Themselves" for Education}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {89--107}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.6}, doi = {10.4204/EPTCS.267.6}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01470.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01471, author = {Pedro Quaresma and Vanda Santos and Nuno Baeta}, editor = {Pedro Quaresma and Walther Neuper}, title = {Exchange of Geometric Information Between Applications}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {108--119}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.7}, doi = {10.4204/EPTCS.267.7}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01471.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01472, author = {Wolfgang Schreiner and Alexander Brunhuemer and Christoph F{\"{u}}rst}, editor = {Pedro Quaresma and Walther Neuper}, title = {Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {120--139}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.8}, doi = {10.4204/EPTCS.267.8}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01472.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-01473, author = {J{\o}rgen Villadsen and Asta Halkj{\ae}r From and Anders Schlichtkrull}, editor = {Pedro Quaresma and Walther Neuper}, title = {Natural Deduction and the Isabelle Proof Assistant}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {140--155}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.9}, doi = {10.4204/EPTCS.267.9}, timestamp = {Thu, 05 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-01473.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-03092, author = {Graham Leach{-}Krouse}, editor = {Pedro Quaresma and Walther Neuper}, title = {Carnap: An Open Framework for Formal Reasoning in the Browser}, booktitle = {Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017}, series = {{EPTCS}}, volume = {267}, pages = {70--88}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.267.5}, doi = {10.4204/EPTCS.267.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-03092.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.