First Page | Document Content | |
---|---|---|
![]() Date: 2013-01-18 06:09:41Knowledge Scientific method Epistemology Empiricism Science studies Scientific realism Constructive empiricism Theory Verificationism Science Philosophy of science Philosophy | Add to Reading List |
![]() | Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–124) QUIVERS WITH RELATIONS FOR SYMMETRIZABLE CARTAN MATRICES AND ALGEBRAIC LIE THEORY Christof GeißDocID: 1xW2r - View Document |
![]() | Introduction Background, Theory Validating Squolem’s Certificates in HOL4 Evaluation ConclusionsDocID: 1xW1P - View Document |
![]() | The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale UniversityDocID: 1xVYc - View Document |
![]() | Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)DocID: 1xVTT - View Document |
![]() | Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice∗ Marta Kwiatkowska University of OxfordDocID: 1xVM0 - View Document |