Hochschulschrift
Automatic construction of implicative theories for mathematical domains
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844039191
3844039198
- Maße
-
21 cm, 180 g
- Umfang
-
ix, 110 Seiten
- Ausgabe
-
[1. Aufl.]
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
Technische Universität Dresden, Dissertation, 2015
- Schlagwort
-
Implikation
Identität
Funktion
Merkmalsextraktion
Formale Begriffsanalyse
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker Verlag
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:42 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
- Revenko, Artem
- Shaker Verlag
- Shaker Verlag
Entstanden
- 2015
Ähnliche Objekte (12)
Automatic Construction of Implicative Theories for Mathematical Domains
Mathematical Structures of Cohomological Field Theories
Formal methods in the theories of rings and domains
Automatic construction of error correcting parsers
Construction and deduction in type theories
Construction and deduction in type theories
First order and counting theories of omega-automatic structures
Classical mathematical physics : dynamical systems and field theories
Classical mathematical physics : dynamical systems and field theories
Automatic construction of domain-specific concept structures
Sustainability of the theories developed by mathematical finance and mathematical economics with applications
Automatic term extraction for conventional and extended term definitions across domains
Automatic Construction of Implicative Theories for Mathematical Domains
Mathematical Structures of Cohomological Field Theories
Formal methods in the theories of rings and domains
Automatic construction of error correcting parsers
Construction and deduction in type theories
Construction and deduction in type theories
First order and counting theories of omega-automatic structures
Classical mathematical physics : dynamical systems and field theories
Classical mathematical physics : dynamical systems and field theories
Automatic construction of domain-specific concept structures
Sustainability of the theories developed by mathematical finance and mathematical economics with applications
Automatic term extraction for conventional and extended term definitions across domains
Automatic Construction of Implicative Theories for Mathematical Domains
Mathematical Structures of Cohomological Field Theories
Formal methods in the theories of rings and domains
Automatic construction of error correcting parsers
Construction and deduction in type theories
Construction and deduction in type theories
First order and counting theories of omega-automatic structures
Classical mathematical physics : dynamical systems and field theories
Classical mathematical physics : dynamical systems and field theories
Automatic construction of domain-specific concept structures
Sustainability of the theories developed by mathematical finance and mathematical economics with applications