Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
Ergebnis 2 von 75
    Datensatz exportieren als...
  • BibTeX
R-Calculus, III
1, 2022

Details

Autor(en) / Beteiligte
Titel
R-Calculus, III
Auflage
1
Ort / Verlag
Singapore: Springer
Erscheinungsjahr
2022
Link zum Volltext
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISBN: 9811942692, 9789811942693
Titel-ID: cdi_proquest_ebookcentral_EBC7143530
Format
–
Schlagworte
Proof theory

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX