Eintrag weiter verarbeiten
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems |
In: | Electronic Proceedings in Theoretical Computer Science, 262, 2017, S. 3-12 |
veröffentlicht: |
Open Publishing Association
|
Umfang: | 3-12 |
ISSN: |
2075-2180 |
DOI: | 10.4204/eptcs.262.1 |
Format: | E-Article |
Quelle: | Open Publishing Association (CrossRef) |
Sprache: | Englisch |