- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource, 1 online resource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Panahy, Salman
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-022-04026-w
- URN
-
urn:nbn:de:101:1-2023091509193759699240
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:54 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Panahy, Salman
- SpringerLink (Online service)
Ähnliche Objekte (12)
Reusing Proofs
Ontological proofs today
Computable Short Proofs
Proofs and "Puzzles"
Automated termination proofs
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
Computable Short Proofs
Proofs and "Puzzles"
Automated termination proofs
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
Computable Short Proofs
Proofs and "Puzzles"
Automated termination proofs
Generic induction proofs
Proofs and Provability
Generating Multilingual Proofs
Planning Diagonalization Proofs
Proofs and "Puzzles"
Corsin Fontana, painted proofs