- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Dresden, Techn. Univ., Diss., 2006
- Schlagwort
-
Formale Sprache ; Beweistheorie ; Nichtdeterminismus
- Urheber
- URN
-
urn:nbn:de:swb:14-1176467220770-67405
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:59 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)
Causal inference and study design
Deep inference and symmetry in classical proofs
Causal inference in multilevel designs
Deep treatment-adaptive network for causal inference
Deep reinforcement learning with significant multiplications inference
Deep Neural Networks and Tabular Data : Inference, Generation, and Explainability
ProtGPT2 is a deep unsupervised language model for protein design
Neural indicators of inference and recognition processes in language comprehension
Deep Dynamic Language Models
Design and application of methods for genome inference
A deep learning approach for complex microstructure inference
Deep learning resilience inference for complex networked systems
Causal inference and study design
Deep inference and symmetry in classical proofs
Causal inference in multilevel designs
Deep treatment-adaptive network for causal inference
Deep reinforcement learning with significant multiplications inference
Deep Neural Networks and Tabular Data : Inference, Generation, and Explainability
ProtGPT2 is a deep unsupervised language model for protein design
Neural indicators of inference and recognition processes in language comprehension
Deep Dynamic Language Models
Design and application of methods for genome inference
A deep learning approach for complex microstructure inference
Deep learning resilience inference for complex networked systems
Causal inference and study design
Deep inference and symmetry in classical proofs
Causal inference in multilevel designs
Deep treatment-adaptive network for causal inference
Deep reinforcement learning with significant multiplications inference
Deep Neural Networks and Tabular Data : Inference, Generation, and Explainability
ProtGPT2 is a deep unsupervised language model for protein design
Neural indicators of inference and recognition processes in language comprehension
Deep Dynamic Language Models
Design and application of methods for genome inference
A deep learning approach for complex microstructure inference