- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource, 1 online resource.
- Language
-
Englisch
- Bibliographic citation
-
Synthetic proofs ; volume:201 ; number:2 ; day:21 ; month:1 ; year:2023 ; pages:1-25 ; date:2.2023
Synthese; 201, Heft 2 (21.1.2023), 1-25, 2.2023
- Creator
-
Panahy, Salman
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-022-04026-w
- URN
-
urn:nbn:de:101:1-2023091509193759699240
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Panahy, Salman
- SpringerLink (Online service)
Other Objects (12)
Reusing Proofs
Ontological proofs today
Automated termination proofs
Computable Short Proofs
Proofs and "Puzzles"
Generic induction proofs
Proofs and Provability
Generating Multilingual Proofs
Planning Diagonalization Proofs
Proofs and "Puzzles"
Corsin Fontana, painted proofs
Proofs from The Book
Reusing Proofs
Ontological proofs today
Automated termination proofs
Computable Short Proofs
Proofs and "Puzzles"
Generic induction proofs
Proofs and Provability
Generating Multilingual Proofs
Planning Diagonalization Proofs
Proofs and "Puzzles"
Corsin Fontana, painted proofs
Proofs from The Book
Reusing Proofs
Ontological proofs today
Automated termination proofs
Computable Short Proofs
Proofs and "Puzzles"
Generic induction proofs
Proofs and Provability
Generating Multilingual Proofs
Planning Diagonalization Proofs
Proofs and "Puzzles"
Corsin Fontana, painted proofs