Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/TU_Games/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 341 B image not shown  

Quelle  TU_Games.dep   Sprache: unbekannt

 
Spracherkennung für: .dep vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/top,players_set,coalition_fun,imputations,tu_game
finite_sets/finite_sets_sum_real,prelude_aux,finite_sets_inductions,finite_sets_sum
top:players_set,coalition_fun,imputations,tu_game
players_set:
coalition_fun:players_set,finite_sets@finite_sets_sum_real
imputations:players_set,coalition_fun
tu_game:players_set,coalition_fun,imputations

[ Dauer der Verarbeitung: 0.22 Sekunden  ]