نتایج جستجو برای: analytic networkprocess

تعداد نتایج: 70251  

2005
Frank Pfenning

hi this paper we present an algorithm for translating from a particular non-anMytic proof system to analytic proofs. Moreover, some results about the translation in the other direction are refornmlated and known algorithms improved, hnplementation of the algorithms presented for use in research and teaching logic is under way at Carnegie-Mellon University in the framework of TPS and its educati...

Journal: :Transactions of the American Mathematical Society 1974

Journal: :Journal of Physics A: Mathematical and Theoretical 2014

2006
Paul J. Cohen Simon Kochen

The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over Fq((t)) of big enough characteristic. To accomplish this, we introduce a general framework for Henselian valued fields K with analytic structure, and we investigate the...

Journal: :Pacific Journal of Mathematics 1963

Journal: :Teoría de la Educación. Revista Interuniversitaria 2016

Journal: :The Annals of Probability 2005

Journal: :Proceedings of the American Mathematical Society 2004

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید