- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technischer Bericht / Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik (früher: Bericht / Universität Stuttgart, Fakultät Informatik) ; 2005,7
- Klassifikation
-
Informatik
- Schlagwort
-
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2005
- Urheber
- URN
-
urn:nbn:de:bsz:93-opus-24282
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 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.
Beteiligte
- Kuske, Dietrich
- Lohrey, Markus
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2005
Ähnliche Objekte (12)
Climbing up the elementary complexity classes with theories of automatic structures
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Automatic presentations of infinite structures
Automatic Construction of Implicative Theories for Mathematical Domains
Automatic construction of implicative theories for mathematical domains
Automatic analysis of cellularity in glioblastoma and correlation with ADC using trajectory analysis and automatic nuclei counting
Uniformly automatic classes of finite structures
Automatic recognition of structures in obituaries
Automatic coding : choice of data structures
Logic and games on automatic structures
Leibniz Gauge Theories and Infinity Structures
Climbing up the elementary complexity classes with theories of automatic structures
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Automatic presentations of infinite structures
Automatic Construction of Implicative Theories for Mathematical Domains
Automatic construction of implicative theories for mathematical domains
Automatic analysis of cellularity in glioblastoma and correlation with ADC using trajectory analysis and automatic nuclei counting
Uniformly automatic classes of finite structures
Automatic recognition of structures in obituaries
Automatic coding : choice of data structures
Logic and games on automatic structures
Leibniz Gauge Theories and Infinity Structures
Climbing up the elementary complexity classes with theories of automatic structures
Advice Automatic Structures and Uniformly Automatic Classes
Advice automatic structures and uniformly automatic classes
Automatic presentations of infinite structures
Automatic Construction of Implicative Theories for Mathematical Domains
Automatic construction of implicative theories for mathematical domains
Automatic analysis of cellularity in glioblastoma and correlation with ADC using trajectory analysis and automatic nuclei counting
Uniformly automatic classes of finite structures
Automatic recognition of structures in obituaries
Automatic coding : choice of data structures
Logic and games on automatic structures