Seminar
Mechanised Reasoning, illustrated via Auction Theory and Practice
-
Series
-
Speaker(s)Colin Rowat (University of Birmingham, United Kingdom)
-
FieldComplexity
-
LocationTI Complexity in Economics Seminars
Amsterdam -
Date and time
May 03, 2017
00:00