Knihy od autora

• Anglický jazyk

Satisfiability and Model Checking in Team Based Logics

Julian-Steffen Müller