- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2017
- Classification
-
Mathematik
- Keyword
-
Automatisches Beweisverfahren ; Sortierte Logik ; Induktionsbeweis
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2017
- Creator
-
Wand, Daniel
- Contributor
-
Weidenbach, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-69522
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
Associated
- Wand, Daniel
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2017
Other Objects (12)
Induction on non-freely generated data types
Induction on non-freely generated data types
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Graded and geometric parabolic induction
Induction and maintenance of synaptic plasticity
Induction and fuzzification of classification rules
Callisto: Induction Signals, Atmosphere and Plasma Interaction
Web-based mood induction
Modelling, analysis and simulation of multifrequency induction hardening
Pharmacologic induction and inhibition of suicidal erythrocyte death
Neuroplasticity : induction and modulation by external stimulation and pharmacological intervention
The Induction of Phonological Structure
Induction on non-freely generated data types
Induction on non-freely generated data types
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Graded and geometric parabolic induction
Induction and maintenance of synaptic plasticity
Induction and fuzzification of classification rules
Callisto: Induction Signals, Atmosphere and Plasma Interaction
Web-based mood induction
Modelling, analysis and simulation of multifrequency induction hardening
Pharmacologic induction and inhibition of suicidal erythrocyte death
Neuroplasticity : induction and modulation by external stimulation and pharmacological intervention
The Induction of Phonological Structure
Induction on non-freely generated data types
Induction on non-freely generated data types
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
Graded and geometric parabolic induction
Induction and maintenance of synaptic plasticity
Induction and fuzzification of classification rules
Callisto: Induction Signals, Atmosphere and Plasma Interaction
Web-based mood induction
Modelling, analysis and simulation of multifrequency induction hardening
Pharmacologic induction and inhibition of suicidal erythrocyte death
Neuroplasticity : induction and modulation by external stimulation and pharmacological intervention