Quellverzeichnis products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Randomised_Social_Choice/

Automation     document   Elections.thy         Lotteries.thy         Order_Predicates.thy         Preference_Profiles.thy         ROOT         Random_Dictatorship.thy         Random_Serial_Dictatorship.thy         Randomised_Social_Choice.thy         SDS_Lowering.thy         SD_Efficiency.thy         Social_Decision_Schemes.thy         Stochastic_Dominance.thy         Utility_Functions.thy

Wurzel Suchen Beweissystem der NASA Beweissystem Isabelle NIST Cobol Testsuite Cephes Mathematical Library Wiener Entwicklungsmethode Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.