- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832530907
3832530908
- Dimensions
-
21 cm
- Extent
-
XIX, 108 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Compact companion ; 1
- Keyword
-
Automatentheorie
Mathematische Logik
Beschreibungssprache
Berechenbarkeit
Turing-Maschine
Komplexitätstheorie
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:10 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Jervell, Herman Ruge
- Logos-Verl.
Time of origin
- 2012
Other Objects (12)
Modal logic
Extending BPMN with deontic logic
Improving proof search in intuitionistic propositional logic
Linear logic based calculi for object Petri nets
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
On the expressive power of first-order logic with built in predicates
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Stress and anxiety, [...]. Application to adolescence, job stress and personality
Proceedings of software engineering and quality assurance, 1
Schriften zum Software-Qualitätsmanagement, [...]. Konstruktive und analytische Qualitätssicherung in Theorie und Praxis
Záhyby reči : nová rakúska lyrika = Sprachfalten
Die Frau als besonderes Schutzobjekt strafrechtlicher Normen : ein Rechtsvergleich zwischen den Vereinigten Staaten von Amerika und der Bundesrepublik Deutschland
Modal logic
Extending BPMN with deontic logic
Improving proof search in intuitionistic propositional logic
Linear logic based calculi for object Petri nets
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
On the expressive power of first-order logic with built in predicates
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Stress and anxiety, [...]. Application to adolescence, job stress and personality
Proceedings of software engineering and quality assurance, 1
Schriften zum Software-Qualitätsmanagement, [...]. Konstruktive und analytische Qualitätssicherung in Theorie und Praxis
Záhyby reči : nová rakúska lyrika = Sprachfalten
Die Frau als besonderes Schutzobjekt strafrechtlicher Normen : ein Rechtsvergleich zwischen den Vereinigten Staaten von Amerika und der Bundesrepublik Deutschland
Modal logic
Extending BPMN with deontic logic
Improving proof search in intuitionistic propositional logic
Linear logic based calculi for object Petri nets
Pesticide volatilization : a comparison of methods for measuring and approaches to fuzzy logic modeling
On the expressive power of first-order logic with built in predicates
Stress and anxiety, [...]. Applications to health and well-being, work stressors, and assessment
Stress and anxiety, [...]. Application to adolescence, job stress and personality
Proceedings of software engineering and quality assurance, 1
Schriften zum Software-Qualitätsmanagement, [...]. Konstruktive und analytische Qualitätssicherung in Theorie und Praxis
Záhyby reči : nová rakúska lyrika = Sprachfalten