LEADER 03731nam 22007092 450 001 9910450014003321 005 20151005020622.0 010 $a1-107-13572-9 010 $a1-280-43058-3 010 $a0-511-17929-4 010 $a1-139-14878-8 010 $a0-511-06153-6 010 $a0-511-05520-X 010 $a0-511-32610-6 010 $a0-511-48284-1 010 $a0-511-06999-5 035 $a(CKB)1000000000018139 035 $a(EBL)218105 035 $a(OCoLC)191035803 035 $a(SSID)ssj0000188573 035 $a(PQKBManifestationID)11154258 035 $a(PQKBTitleCode)TC0000188573 035 $a(PQKBWorkID)10152680 035 $a(PQKB)10162702 035 $a(UkCbUP)CR9780511482847 035 $a(MiAaPQ)EBC218105 035 $a(Au-PeEL)EBL218105 035 $a(CaPaEBR)ebr10069854 035 $a(CaONFJC)MIL43058 035 $a(OCoLC)814392882 035 $a(EXLCZ)991000000000018139 100 $a20090224d2003|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLand and power in Ptolemaic Egypt $ethe structure of land tenure /$fJ.G. Manning$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2003. 215 $a1 online resource (xx, 335 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-04430-8 311 $a0-521-81924-5 320 $aIncludes bibliographical references (p. 279-324) and indexes. 327 $apt. I. Issues and historical background. Issues and methodologies ; The Ptolemaic state and its antecedents -- pt. II. Regional case studies of land tenure. The land tenure regime in Upper Egypt ; The land tenure regime in the Fayyum depression -- pt. III. Interpretation. The Ptolemaic state, the land tenure regime, and economic power ; The private transmission of land ; Conclusions -- [Appendices.] Appendix 1. Translation of the Edfu donation text -- Appendix 2. Ptolemaic demotic land transfer in Upper Egypt -- Appendix 3. Translation of P. Amh. gr. 49. 330 $aThis history of land tenure under the Ptolemies explores the relationship between the new Ptolemaic state and the ancient traditions of landholding and tenure. Departing from the traditional emphasis on the Fayyum, it offers a coherent framework for understanding the structure of the Ptolemaic state, and thus of the economy as a whole. Drawing on both Greek and demotic papyri, as well as hieroglyphic inscriptions and theories taken from the social sciences, Professor Manning argues that the traditional central state 'despotic' model of the Egyptian economy is insufficient. The result is a subtler picture of the complex relationship between the demands of the new state and the ancient, locally organized social structure of Egypt. By revealing the dynamics between central and local power in Egypt, the book shows that Ptolemaic economic power ultimately shaped Roman Egyptian social and economic institutions. 517 3 $aLand & Power in Ptolemaic Egypt 606 $aLand tenure$zEgypt$xHistory 606 $aEgyptian language$vPapyri, Demotic 606 $aReal property$zEgypt$xHistory$vSources 607 $aEgypt$xEconomic conditions$y332 B.C.-640 A.D$vSources 615 0$aLand tenure$xHistory. 615 0$aEgyptian language 615 0$aReal property$xHistory 676 $a333.3/0932/09014 700 $aManning$b Joseph Gilbert$0475377 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910450014003321 996 $aLand and power in Ptolemaic Egypt$92453488 997 $aUNINA LEADER 05513nam 22008055 450 001 9910768439603321 005 20251226204253.0 010 $a3-540-75560-8 024 7 $a10.1007/978-3-540-75560-9 035 $a(CKB)1000000000490758 035 $a(SSID)ssj0000318696 035 $a(PQKBManifestationID)11254472 035 $a(PQKBTitleCode)TC0000318696 035 $a(PQKBWorkID)10329674 035 $a(PQKB)10631346 035 $a(DE-He213)978-3-540-75560-9 035 $a(MiAaPQ)EBC3068646 035 $a(PPN)123728630 035 $a(MiAaPQ)EBC337403 035 $a(BIP)34165067 035 $a(BIP)17131287 035 $a(EXLCZ)991000000000490758 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic for Programming, Artificial Intelligence, and Reasoning $e14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /$fedited by Nachum Dershowitz, Andrei Voronkov 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (XIII, 564 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4790 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75558-6 320 $aIncludes bibliographical references and index. 327 $aFrom Hilbert?s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened to Deductive Question Answering? -- Decidable Fragments of Many-Sorted Logic -- One-Pass Tableaux for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model Checking the First-Order Fragment of Higher-Order Fixpoint Logic -- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results -- Least and Greatest Fixed Points in Linear Logic -- The Semantics of Consistency and Trust in Peer Data Exchange Systems -- Completeness and Decidability in Sequence Logic -- HORPO with Computability Closure: A Reconstruction -- Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs -- Matching in Hybrid Terminologies -- Verifying Cryptographic Protocols with Subterms Constraints -- Deciding Knowledge in Security Protocols for Monoidal Equational Theories -- Mechanized Verification of CPS Transformations -- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap -- Protocol Verification Via Rigid/Flexible Resolution -- Preferential Description Logics -- On Two Extensions of Abstract Categorial Grammars -- Why Would You Trust B? -- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited -- On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards -- Data Complexity in the Family of Description Logics -- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties -- Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic -- Integrating Inductive Definitions in SAT -- The Separation Theorem for Differential Interaction Nets -- Complexity of Planning in Action Formalisms Based on Description Logics -- Faster Phylogenetic Inferencewith MXG -- Enriched ??Calculus Pushdown Module Checking -- Approved Models for Normal Logic Programs -- Permutative Additives and Exponentials -- Algorithms for Propositional Model Counting -- Completeness for Flat Modal Fixpoint Logics -- : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals -- ATP Cross-Verification of the Mizar MPTP Challenge Problems. 330 $aThis book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4790 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science 606 $aMachine theory 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aMachine theory. 615 14$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 676 $a006.3 701 $aDershowitz$b Nachum$01354752 701 $aVoronkov$b A$g(Andrei),$f1959-$01752961 712 12$aLPAR (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910768439603321 996 $aLogic for programming, artificial intelligence, and reasoning$94199516 997 $aUNINA