Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
Neuigkeiten Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.
 
 
 


Ergebnis der Suche nach: tit all "Free Calculus"
im Bestand: Gesamter Bestand

1 - 10 von 28
<< < > >>


Online Ressourcen 1 A reduction-based cut-free Gentzen calculus for dynamic epistemic logic
Wirsing, Martin. - Augsburg : Universität Augsburg, 2023
Online Ressource
Online Ressourcen 2 Polymorphic lambda calculus with context-free session types
Almeida, Bernardo. - Freiburg : Universität, 2024
Online Ressource
Artikel 3 Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Enthalten in Studia logica 29.1.2022: 1
Online Ressource
Artikel 4 Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
Enthalten in Studia logica 30.5.2021: 1-27
Online Ressource
Artikel 5 A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
Enthalten in Studia logica 29.11.2018: 1-34
Online Ressource
Artikel 6 Surgical removal of a large vaginal calculus formed after a tension-free vaginal tape procedure
In: International urogynecology journal 20.6.2016: 1-2
Online Ressource
Artikel 7 Coordinate Free Integrals in Geometric Calculus
In: Advances in applied Clifford algebras 24.3.2016: 1-15
Online Ressource
Online Ressourcen 8 Calculus
Jones, Patrick. - New York, NY : John Wiley & Sons, 2014, 1., Auflage
Online Ressource
Online Ressourcen 9 Calculus
Jones, Patrick. - New York, NY : John Wiley & Sons, 2014, 1., Auflage
Online Ressource
Online Ressourcen 10 Pre-Calculus
Sterling, Mary Jane. - New York, NY : John Wiley & Sons, 2014, 1., Auflage
Online Ressource


1 - 10 von 28
<< < > >>


E-Mail-IconAdministration