Cuvillier Verlag GmbH

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

Cuvillier Verlag GmbH

De En Es
Satisfiability and Model Checking in Team Based Logics

Heribert Vollmer – Autorenprofil



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