Using Theorema in the Formalization of Theoretical Economics (2011)

by M Kerber, C Rowat, W Windsteiger
Venue:In: CICM. LNAI 6824