Hochschulschrift | Online-Publikation
Deep inference and symmetry in classical proofs
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Techn. Univ., Diss., 2003
- Classification
-
Informatik
Mathematik
- Keyword
-
Beweistheorie
Aussagenlogik
Prädikatenlogik
Schnittelimination
Beweistheorie ; Klassische Logik ; Schnittelimination
- Creator
- URN
-
urn:nbn:de:swb:14-1064911987703-38192
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (12)
Refinement of Classical Proofs for Program Extraction
Symmetry of steady deep-water waves with vorticity
Nondeterminism and language design in deep inference
A deep learning approach for complex microstructure inference
Reusing Proofs
Classical and Bayesian Inference for Income Distributions using Grouped Data
On the validity of classical and Bayesian DSGE-based inference
Deep learning for individual heterogeneity: An automatic inference framework
Introduction to mechanics and symmetry : a basic exposition of classical mechanical systems
Applied Bayesian and classical inference : the case of The Federalist papers
Proofs and Provability
Generating Multilingual Proofs
Refinement of Classical Proofs for Program Extraction
Symmetry of steady deep-water waves with vorticity
Nondeterminism and language design in deep inference
A deep learning approach for complex microstructure inference
Reusing Proofs
Classical and Bayesian Inference for Income Distributions using Grouped Data
On the validity of classical and Bayesian DSGE-based inference
Deep learning for individual heterogeneity: An automatic inference framework
Introduction to mechanics and symmetry : a basic exposition of classical mechanical systems
Applied Bayesian and classical inference : the case of The Federalist papers
Proofs and Provability
Generating Multilingual Proofs
Refinement of Classical Proofs for Program Extraction
Symmetry of steady deep-water waves with vorticity
Nondeterminism and language design in deep inference
A deep learning approach for complex microstructure inference
Reusing Proofs
Classical and Bayesian Inference for Income Distributions using Grouped Data
On the validity of classical and Bayesian DSGE-based inference
Deep learning for individual heterogeneity: An automatic inference framework
Introduction to mechanics and symmetry : a basic exposition of classical mechanical systems
Applied Bayesian and classical inference : the case of The Federalist papers
Proofs and Provability