Using Theorema in the Formalization of Theoretical Economics

Cached

Download Links

by Manfred Kerber , Colin Rowat , Wolfgang Windsteiger
Venue:Proceedings CICM 2011, pages 58–73, 2011. + 11] [KW11] [Lan11] [Lib10
Citations:2 - 1 self