Cuvillier Verlag

35 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

De En Es
Satisfiability and Model Checking in Team Based Logics

Heribert Vollmer – Autorenprofil

Mitwirkend an folgenden Publikationen

Satisfiability and Model Checking in Team Based Logics
Satisfiability and Model Checking in Team Based Logics
Julian-Steffen Müller
Autor
ISBN-13 (Printausgabe): 978-3-95404-759-8
ISBN-13 (E-Book): 978-3-73694-759-7
Price_print
EUR 29,20 EUR 27,74
Price_ebook
EUR 20,00
01.08.2014

Complexity and Expressivity of Dependence Logic Extensions
Complexity and Expressivity of Dependence Logic Extensions
Johannes Ebbing
Autor
ISBN-13 (Printausgabe): 978-3-95404-629-4
ISBN-13 (E-Book): 978-3-73694-629-3
Price_print
EUR 19,80 EUR 18,81
Price_ebook
EUR 13,86
06.02.2014

Komplexitätstheorie Maschinen und Operatoren
Komplexitätstheorie Maschinen und Operatoren
Heribert Vollmer
Autor
ISBN-13 (Printausgabe): 978-3-89588-821-2
Price_print
EUR 24,00 EUR 22,80
01.01.1994

▲ nach oben springen