Quantomatic: A Proof Assistant for Diagrammatic Reasoning (Englisch)
Freier Zugriff
- Neue Suche nach: Kissinger, Aleks
- Neue Suche nach: Zamdzhiev, Vladimir
- Neue Suche nach: Kissinger, Aleks
- Neue Suche nach: Zamdzhiev, Vladimir
2015
- Preprint / Elektronische Ressource
-
Titel:Quantomatic: A Proof Assistant for Diagrammatic Reasoning
-
Beteiligte:Kissinger, Aleks ( Autor:in ) / Zamdzhiev, Vladimir ( Autor:in )
-
Verlag:
- Neue Suche nach: arXiv
-
Erscheinungsdatum:2015
-
Anmerkungen:International Conference on Automated Deduction, CADE 2015 (CADE-25). The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-21401-6_22
-
DOI:
-
Medientyp:Preprint
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Lizenzbestimmungen:
-
Datenquelle: