نتایج جستجو برای: sasanian mints
تعداد نتایج: 473 فیلتر نتایج به سال:
We extend Parigot's-calculus to form a system of realizers for classical logic which reeects the structure of Gentzen's cut-free, multiple-conclusioned, sequent calculus LK when used as a system for proof-search. Speciically, we add (i) a second binding operator, , which realizes classical, multiple-conclusioned disjunction, and (ii) explicit substitutions, , which provide suucient term-structu...
Proof-functional logical connectives allow reasoning about the structure of logical proofs, in this way giving to the latter the status of first-class objects. This is in contrast to classical truth-functional connectives where the meaning of a compound formula is dependent only on the truth value of its subformulas. In this paper we present a typed lambda calculus, enriched with strong product...
B. Gross,1 J. Yuan,2 D. Y. An,2,3 M. Y. Li,2,3 N. Kinev,4 X. J. Zhou,3 M. Ji,2,3 Y. Huang,3 T. Hatano,2 R. G. Mints,5 V. P. Koshelets,4 P. H. Wu,3 H. B. Wang,2,3 D. Koelle,1 and R. Kleiner1,* 1Physikalisches Institut and Center for Collective Quantum Phenomena in LISA+, Universität Tübingen, D-72076 Tübingen, Germany 2National Institute for Materials Science, Tsukuba 3050047, Japan 3Research In...
The second season of the archaeological survey of Qeshm Island was conducted during the winter of 2012, during which the team identified a total of 138 sites. The preliminary analysis of the ceramic assemblage from these sites suggests that 5 sites date to the 3rd millennium B.C.(Bronze Age) and represent the earliest in the directory. The remainder includes 3 Iron Age, 4 Achaemenid, 23 Parthia...
At the beginning of archival documents often used by researchers in Ottoman social and economic history studies are inheritance records. Heritage records, which evaluated from various angles, contain information about personal life deceased, family structures. In addition, detailed data weaving products, household items such as kitchens, furniture hardware, animals real estate that deceased thr...
The archaeological campaign of the 16th season of excavations in Tepe Hegmataneh intended to explore the architecturalstructures belonging to the historical period. The excavated area consists of 4 squares including AJ45, AJ46, AK45,and AK46 with a total size of 400 m2 . Excavations in these squares recorded 55, 54, 105, and 116 loci respectively.The architecture belonging to the historical per...
the iranian-islamic sources have testified to the importance of gundishapour as the largest scientific center, having a medical school and one of the largest hospitals of ancient world in which renown physicians and the scholars of age, from various nationalities, were employed to teach, to do research, and to treat patients. in this scientific centre, greek medicine linked with indian medicine...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید