Editorial Cuvillier

Publicaciones, tesis doctorales, capacitaciónes para acceder a una cátedra de universidad & prospectos.
Su editorial internacional especializado en ciencias y economia

Editorial Cuvillier

De En Es
Satisfiability and Model Checking in Team Based Logics

Heribert Vollmer – perfil de autor

Colaboro en las siguientes publicaciones

Satisfiability and Model Checking in Team Based Logics
Satisfiability and Model Checking in Team Based Logics
Julian-Steffen Müller
Autor
ISBN-13 (Impresion): 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 (Impresion): 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 (Impresion): 978-3-89588-821-2
Price_print
EUR 24,00 EUR 22,80
01.01.1994

▲ nach oben springen