- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Dissertation, 2017
- Klassifikation
-
Mathematik
- Schlagwort
-
Automatisches Beweisverfahren ; Sortierte Logik ; Induktionsbeweis
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
Saarländische Universitäts- und Landesbibliothek
- (wann)
-
2017
- Urheber
-
Wand, Daniel
- Beteiligte Personen und Organisationen
-
Weidenbach, Christoph
- URN
-
urn:nbn:de:bsz:291-scidok-69522
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wand, Daniel
- Weidenbach, Christoph
- Saarländische Universitäts- und Landesbibliothek
Entstanden
- 2017
Ähnliche Objekte (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