Vickrey_Clarke_Groves

swMATH32213MaRDI QIDQ43924

No author found.

Related Items (1)

The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema

This page was built for software: Vickrey_Clarke_Groves