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

First Page		Document Content
Date: 2016-03-13 11:33:48		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 Source URL: philomatica.org Download Document from Source Website File Size: 850,89 KB Share Document on Facebook