01623nam--2200433---450-99000056215020331620100720110725.088-14-01523-60056215USA010056215(ALEPH)000056215USA01005621520010712d1988----km-y0itay0103----baitaIT||||||||001yyContabilità fiscale di magazzinoobbligatoria per le imprese a contabilità ordinaria dal 1. gennaio 1989Flavio DezzaniMilanoA. Giuffrè1988703 p.25 cmPubblicazionidell'istituto di ricerche economico-aziendali, Università degli studi di TorinoSerie ManualiManuali di formazione e di consultazione professionale2001Pubblicazionidell'istituto di ricerche economico-aziendali, Università degli studi di TorinoSerie Manuali2001Manuali di formazione e di consultazione professionale001-------2001MagazziniGestioneMagazziniContabilità658.785DEZZANI,Flavio106080ITsalbcISBD990000562150203316XXX.B. Coll. 145/ 16 (X 24 XII 13)64252 ECXXX.B. Coll. 145/ 16 (X 24 XII)00274002BKECOPATTY9020010712USA01152720020403USA011705PATRY9020040406USA011639RSIAV49020100720USA011107Contabilita' fiscale di magazzino428116UNISA03199nam 2200649 a 450 991045355020332120200520144314.01-281-93985-4978661193985490-474-2389-510.1163/ej.9789004163607.i-443(CKB)1000000000552693(EBL)468245(OCoLC)310354452(SSID)ssj0000142345(PQKBManifestationID)11136245(PQKBTitleCode)TC0000142345(PQKBWorkID)10096219(PQKB)11525989(MiAaPQ)EBC468245(OCoLC)181862869(nllekb)BRILL9789047423898(PPN)170426467(Au-PeEL)EBL468245(CaPaEBR)ebr10363894(CaONFJC)MIL193985(EXLCZ)99100000000055269320071120d2007 uy 0engur|n|---|||||txtccrEarly Islamic legal theory[electronic resource] the Risāla of Muḥammad ibn Idrīs al-Shāfiʻī /by Joseph E. LowryLeiden ;Boston Brill20071 online resource (459 p.)Studies in Islamic law and society,1384-1130 ;v. 30Description based upon print version of record.90-04-16360-3 Includes bibliographical references (p. [387]-399) and indexes.Shāfiʻī's concept of the Bayān -- Two hermeneutical techniques -- Prophetic sunna and hadith in the Risāla -- The Qurān in Shāfiʻī's Risāla -- Shāfiʻī's epistemology -- Internal evidence for the Risāla's polemical context -- Ijmā in the Risāla -- The Risāla and its relationship to mature Uml al-Fiqh.The Risāla of al-Shāfiʿī (d. 204/820), the earliest preserved work of Islamic legal theory, has been understood in previous scholarship as either the elaboration of a hierarchy of sources of law (Qurʾān, Sunna, consensus, and analogical reasoning) or an extended defense of the Sunna. Through a careful rereading of this celebrated text, this book offers a comprehensive reinterpretation of the Risāla , in which Shāfiʿī formulated an all-encompassing hermeneutic that portrays the law as a tightly interlocking structure organized around defined interactions of the Qurʾān and the Sunna. Topics covered include Shāfiʿī’s creative account of the law’s architectonics, hermeneutical techniques, legal epistemology, relationship to kalām , and the role of consensus ( ijmāʿ ).Studies in Islamic law and society ;v. 30.Islamic lawInterpretation and constructionEarly works to 1800ShafiitesEarly works to 1800Electronic books.Islamic lawInterpretation and constructionShafiites340.5/9Lowry Joseph E(Joseph Edmund)980864MiAaPQMiAaPQMiAaPQBOOK9910453550203321Early Islamic legal theory2238352UNINA02628 am 22005653u 450 991016874630332120230803214542.03-7001-7780-19783700177803(CKB)3710000001127860(OCoLC)1044482345(ScCtBLL)dbfca08a-a63d-4397-9f48-45f98d766b8f(oapen)https://directory.doabooks.org/handle/20.500.12854/34801(EXLCZ)99371000000112786020170828d2014 |y| 0engur||#||||||||txtrdacontentcrdamediacrrdacarrierWestern Anatolia before Troy. Proto-Urbanisation in the 4th Millenium BC?[electronic resource] Proceedings of the International Symposium held at the Kunsthistorisces Museum Wien Vienna, Austria, 21-24 November, 2012Verlag der Österreichischen Akademie der Wissenschaften2014Vienna, Austria :Verlag der Österreichischen Akademie der Wissenschaften,2014.©20141 online resource (492 pages) illustrations, mapsOREA (1)3-7001-7761-5 Includes bibliographical references.OREA 1 presents the scientific results of the international symposium Western Anatolia before Troy - Proto-Urbanisation in the 4th Millennium BC? The sparse archaeological data published for the 5th and 4th millennia BC and the archaeological picture of western Anatolia, fundamentally changed in the last decades, needed to bring together specialists of western Turkey and the neighbouring regions to discuss new data in the light of socio-cultural processes in the period before Troy. Furthermore, following the results of the ERC research group (ERC project Prehistoric Anatolia), it appeared high time to focus on this period as it had been frequently neglected in the recent dynamic prehistoric research in western Turkey.OREA (1).ArchaeologyAnatoliaArchaeologyAnatoliaHistoryArcheologyAegean SeaBronze AgeChalcolithicCopperNeolithicRadiocarbon datingArchaeologyHorejs Barbaraedt1378083Horejs BarbaraMehofer MathiasUkMaJRUBOOK9910168746303321Western Anatolia before Troy. Proto-Urbanisation in the 4th Millenium BC3416026UNINA05410nam 22007095 450 991014492370332120251117003610.03-540-69249-510.1007/3-540-63255-7(CKB)1000000000234675(SSID)ssj0000324522(PQKBManifestationID)11268430(PQKBTitleCode)TC0000324522(PQKBWorkID)10305884(PQKB)11702064(DE-He213)978-3-540-69249-2(PPN)155166379(EXLCZ)99100000000023467520121227d1997 u| 0engurnn#008mamaatxtccrLogic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /edited by Ulrich Furbach, Anil Nerode1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (XI, 461 p.)Lecture Notes in Artificial Intelligence ;1265Bibliographic Level Mode of Issuance: Monograph3-540-63255-7 Forward and backward chaining in constraint programming -- Strong and weak constraints in disjunctive datalog -- Nonmonotonic reasoning with quantified boolean constraints -- Improving the alternating fixpoint: The transformation approach -- Is non-monotonic reasoning always harder -- Complexity of only knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning with nonmonotonic logics -- Simulations between programs as cellular automata -- Separating disbeliefs from beliefs in autoepistemic reasoning -- Power defaults (preliminary report) -- A study of Przymusinski's static semantics -- Resolution for skeptical stable semantics -- Computing non-ground representations of stable models -- Industry needs for integrated information services -- Computing, solving, proving: A report on the Theorema project -- Towards a systematic approach to representing knowledge in declarative logic programming -- A paraconsistent semantics with contradiction support detection -- On conservative enforced updates -- A general framework for revising nonmonotonic theories -- Composing general logic programs -- Modular logic programming and generalized quantifiers -- Programs with universally quantified embedded implications -- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects -- DisLoP: Towards a disjunctive logic programming system -- REVISE: Logic programming and diagnosis -- A deductive system for non-monotonic reasoning -- The deductive database system LOLA -- ACLP: Flexible solutions to complex problems -- Nonmonotonic reasoning in FLORID -- GLUE: Opening the world to theorem provers -- Smodels — an implementation of the stable model and well-founded semantics for normal logic programs -- XSB: A system for efficiently computing well-founded semantics -- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation.This book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.Lecture Notes in Artificial Intelligence ;1265Artificial intelligenceSoftware engineeringComputer architectureLogic, Symbolic and mathematicalComputer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Software engineering.Computer architecture.Logic, Symbolic and mathematical.Computer programming.Artificial Intelligence.Software Engineering/Programming and Operating Systems.Computer System Implementation.Mathematical Logic and Formal Languages.Programming Techniques.006.3/36Furbach Ulrichedthttp://id.loc.gov/vocabulary/relators/edtNerode Aniledthttp://id.loc.gov/vocabulary/relators/edtLPNMR '97BOOK9910144923703321Logic Programming and Nonmonotonic Reasoning772042UNINA