×

Found 2 Documents (Results 1–2)

The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema. (English) Zbl 1367.68252

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 25-39 (2017).
MSC:  68T15 91B26
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field