Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding Remarks - Semantic view of theories - Document - PDFSEARCH.IO

First Page	Meta Content
	Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding Remarks Add to Reading List Document Date: 2016-03-13 11:33:48 Open Document File Size: 850,89 KB Share Result on Facebook

Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding RemarksAdd to Reading List