- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
How to make (mathematical) assertions with directives ; volume:202 ; number:5 ; day:17 ; month:10 ; year:2023 ; pages:1-16 ; date:11.2023
Synthese; 202, Heft 5 (17.10.2023), 1-16, 11.2023
- Urheber
-
Caponetto, Laura
San Mauro, Luca
Venturi, Giorgio
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s11229-023-04360-7
- URN
-
urn:nbn:de:101:1-2024031113452804248669
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 11:00 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
- Caponetto, Laura
- San Mauro, Luca
- Venturi, Giorgio
- SpringerLink (Online service)
Ähnliche Objekte (12)
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Dismantling Directives
Special directives
Information Directives
OMGBS Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
How Histories make Geographies
Denazification Directives - Orders
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Dismantling Directives
Special directives
Information Directives
OMGBS Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
How Histories make Geographies
Denazification Directives - Orders
ASSERTIONs: and how to use them
Trust assertions: How to store Trust
C. Assertions
Dismantling Directives
Special directives
Information Directives
OMGBS Directives
Directives 1945
Proxy Assertions and Agency: The Case of Machine-Assertions
Assertions and recursions
How Histories make Geographies