نتایج جستجو برای: sasanian mints
تعداد نتایج: 473 فیلتر نتایج به سال:
.priscianus of lydia’s solutionum ad chosroem is a series of answers to questions asked at a philosophical debate held at the sasanian court c. 530 ce. priscianus of lydia was one of seven non-christian philosophers from the byzantine empire who journeyed to the sasanian empire to take part in the debate. long overlooked in the history of philosophy, priscianus of lydia’s text represents a bran...
Iranians invented squinches to cover a square-plan space with dome. Filposh, type of squinch first found in Sasanian architecture, is conical vault constructed the transition zone’s corners transmit dome’s forces and weight. This technique can be seen three halls palace Ardeshir. In this paper, geometry zone using filposh between spherical dome square supporting walls Ardeshir Palace was re-exa...
B. Gross,1 S. Guénon,1,2 J. Yuan,3 M. Y. Li,3,4 J. Li,3 A. Ishii,3 R. G. Mints,5 T. Hatano,3 P. H. Wu,4 D. Koelle,1 H. B. Wang,3,4,* and R. Kleiner1,† 1Physikalisches Institut – Experimentalphysik II and Center for Collective Quantum Phenomena in LISA+, Universität Tübingen, Auf der Morgenstelle 14, D-72076 Tübingen, Germany 2Department of Physics, Center for Advanced Nanoscience, University of...
This work aims at explaining the syntactical properties of continuous normalization, as introduced in proof theory by Mints, and further studied by Ruckert, Buchholz and Schwichtenberg. In an extension of the untyped coinductive λ-calculus by void constructors (so-called repetition rules), a primitive recursive normalization function is defined. Compared with other formulations of continuous no...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید