Cookie Settings

Cookies are small text files that your web browser uses to save your so-called session. We use technically necessary cookies to be able to offer a comfortable booking process. In addition, you can help us to continuously optimize the booking portal by agreeing to our analytics cookies:

Allow Cookies

Disallow Cookies

View my cookie settings

De En Es
☰
Customer Support/Contact

Cuvillier Verlag

Publications, Dissertations, Habilitations & Brochures.
International Specialist Publishing House for Science and Economy

Cuvillier Verlag

De En Es
Departments
Book Series (92)
1308
Humanities
2293
Natural Sciences
5354
Engineering
1746
Common
91
Common 83
Equestrian sports 7
Leitlinien Unfallchirurgie
5. Auflage bestellen
Advanced Search
Satisfiability and Model Checking in Team Based Logics

Heribert Vollmer – Author profile

Contributed to the following publications
Satisfiability and Model Checking in Team Based Logics
Satisfiability and Model Checking in Team Based Logics
Julian-Steffen Müller
Author
ISBN-13 (Hard Copy): 978-3-95404-759-8
ISBN-13 (eBook): 978-3-73694-759-7
Price_print
EUR 29.20 EUR 27.74
Price_ebook
EUR 20.00
2014-08-01
Complexity and Expressivity of Dependence Logic Extensions
Complexity and Expressivity of Dependence Logic Extensions
Johannes Ebbing
Author
ISBN-13 (Hard Copy): 978-3-95404-629-4
ISBN-13 (eBook): 978-3-73694-629-3
Price_print
EUR 19.80 EUR 18.81
Price_ebook
EUR 13.86
2014-02-06
Komplexitätstheorie Maschinen und Operatoren
Komplexitätstheorie Maschinen und Operatoren
Heribert Vollmer
Author
ISBN-13 (Hard Copy): 978-3-89588-821-2
Price_print
EUR 24.00 EUR 22.80
1994-01-01
▲ nach oben springen