Pages that link to "Item:Q420790"
From MaRDI portal
The following pages link to Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs (Q420790):
Displayed 4 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- Voting theory in the Lean theorem prover (Q2148823) (← links)
- Characterizing causal action theories and their implementations in answer set programming (Q2407453) (← links)
- Algorithmic Decision Theory Meets Logic (Q3449186) (← links)