Publikation
Martin Ring; Christoph Lüth
In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.
@inproceedings{pub8590, author = { Ring, Martin and Lüth, Christoph }, editor = { Autexier, Serge and Queresma, Pedro }, title = {Interactive Proof Presentations with Cobra}, booktitle = {Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers (UITP-2016), befindet sich International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal}, series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)}, year = {2017}, month = {1}, volume = {239}, pages = {43--52}, publisher = {Open Publishing Association} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023