Unifying Splitting

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource, 1 online resource.
Sprache
Englisch

Erschienen in
Unifying Splitting ; volume:67 ; number:2 ; day:28 ; month:4 ; year:2023 ; pages:1-44 ; date:6.2023
Journal of automated reasoning ; 67, Heft 2 (28.4.2023), 1-44, 6.2023

Urheber
Ebner, Gabriel
Blanchette, Jasmin
Tourret, Sophie
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10817-023-09660-8
URN
urn:nbn:de:101:1-2023092210101948493584
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.
Original beim Datenpartner anzeigen

Beteiligte

Ähnliche Objekte (12)

Unifying cycles

Unifying cycles

Unifying functional interpretations

Unifying functional interpretations

A unifying process capability metric

Artikel

A unifying process capability metric

Unifying time-to-build theory

Arbeitspapier

Unifying time-to-build theory

Unifying exotic option closed formulas

Arbeitspapier

Unifying exotic option closed formulas

Unifying relations for scattering amplitudes

Unifying relations for scattering amplitudes

Towards a Unifying Visualization Ontology

Towards a Unifying Visualization Ontology

Coset realization of unifying W-algebras

Coset realization of unifying W-algebras

Unifying access to PKCS#11 tokens

zweidimensionales bewegtes Bild

Unifying access to PKCS#11 tokens

Probabilistic linear solvers: a unifying view

Probabilistic linear solvers: a unifying view

Conditionals : A Unifying Ranking-Theoretic Perspective

Conditionals : A Unifying Ranking-Theoretic Perspective

A Unifying Theory of Biological Function

A Unifying Theory of Biological Function

Verbundene Objekte