Cuvillier Verlag

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

Cuvillier Verlag

De En Es
Satisfiability and Model Checking in Team Based Logics

Julian-Steffen Müller – 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

▲ nach oben springen