Computer-aided proofs of Arrow's and oth
β
Pingzhong Tang; Fangzhen Lin
π
Article
π
2009
π
Elsevier Science
π
English
β 234 KB