- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
62 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
München, Univ., Diss., 2002
- Schlagwort
-
Normalisierung
Auswertung
Korrektheit
Termersetzungssystem
Typisierter Lambda-Kalkül
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:20 MESZ
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
Ähnliche Objekte (12)
Normalization and Partial Evaluation of Functional Logic Programs
Normalization and Partial Evaluation of Functional Logic Programs
Robust Normalization of Next Generation Sequencing Data
Normalization of Horn Clauses with Disequality Constraints
Normalization of Horn clauses with disequality constraints
Normalization in econometrics
On Normalization and Type Checking for Tree Transducers
Non-parametric Bayesian Spatial Normalization in Medical Imaging
Tail‐robustqQuantile normalization
Managing monetary policy normalization
Normalization in the acoustic feature space for improved speech recognition
Normalization in the acoustic feature space for improved speech recognition
Normalization and Partial Evaluation of Functional Logic Programs
Normalization and Partial Evaluation of Functional Logic Programs
Robust Normalization of Next Generation Sequencing Data
Normalization of Horn Clauses with Disequality Constraints
Normalization of Horn clauses with disequality constraints
Normalization in econometrics
On Normalization and Type Checking for Tree Transducers
Non-parametric Bayesian Spatial Normalization in Medical Imaging
Tail‐robustqQuantile normalization
Managing monetary policy normalization
Normalization in the acoustic feature space for improved speech recognition
Normalization in the acoustic feature space for improved speech recognition
Normalization and Partial Evaluation of Functional Logic Programs
Normalization and Partial Evaluation of Functional Logic Programs
Robust Normalization of Next Generation Sequencing Data
Normalization of Horn Clauses with Disequality Constraints
Normalization of Horn clauses with disequality constraints
Normalization in econometrics
On Normalization and Type Checking for Tree Transducers
Non-parametric Bayesian Spatial Normalization in Medical Imaging
Tail‐robustqQuantile normalization
Managing monetary policy normalization
Normalization in the acoustic feature space for improved speech recognition