01555nas--2200445---450-99000348102020331620141029160932.01544-3566000348102USA01000348102(ALEPH)000348102USA0100034810220110111a----9999km-y-itay50------baengUSahazz--||||ACM Transactions on architecture and code optimizationAssociation for Computing MachineryNew YorkAssociation for Computing Machineryv.ill.26 cmComincia nel 2004Descrizione basata su Vol.1 n.1(2006)-Incluso nel pacchetto: ACM DIGITAL LIBRARY CORE PACKAGETrimestraleElebarazione elettronicaPeriodiciBNCF004.205Association for Computing MachineryITsalbcISBDhttp://taco.acm.org/.Online da workstation autorizzate990003481020203316SCIPER II2006-2013;SECIANATIEMP9020110111USA011048CIANATIEMP9020110111USA011051CIANATIEMP9020110112USA010934CIANATIEMP9020110126USA011227CIANATIEMP9020110207USA011426VITTORIANA9020130207USA011213ANGELA9020141029USA011609ACM Transactions on architecture and code optimization1112750UNISA02180nam0 22003851i 450 UON0012928320231205102749.49520020107f |0itac50 bachiCN|||| 1||||Bu guo zhai wendu[a cura di] Yang ZengxinTaibeiWenhai chubanshe[19..]6 v.18 cmEx inv. YS 420IT-UONSI T.C.A/025 (14,1)Ex inv. YS 420IT-UONSI T.C.A/025 (14,2)Ex inv. YS 420IT-UONSI T.C.A/025 (14,3)Ex inv. YS 420IT-UONSI T.C.A/025 (14,4)Ex inv YS 420IT-UONSI T.C.A/025 (14,5)Ex inv. YS 420IT-UONSI T.C.A/025 (14,6)001UON001292092001 Zhongguo bian jiang congshu14TaipeiUONL000076T.C.ATesti cinesi - StoriaAYANG ZengxinUONV079527Wenhai ChubansheUONV254261650ITSOL20240220RICAUON00129283SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,1) SI SA 98241 5 025 (14,1) Ex inv. YS 420SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,2) SI SA 98242 5 025 (14,2) Ex inv. YS 420SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,3) SI SA 98243 5 025 (14,3) Ex inv. YS 420SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,4) SI SA 98244 5 025 (14,4) Ex inv. YS 420SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,5) SI SA 98245 5 025 (14,5) Ex inv YS 420SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI T.C. A 025 (14,6) SI SA 98246 5 025 (14,6) Ex inv. YS 420Bu guo zhai wendu1319469UNIOR03042nam 22006015 450 991048456580332120250609110120.03-030-36533-610.1007/978-3-030-36533-2(CKB)4100000010473987(DE-He213)978-3-030-36533-2(MiAaPQ)EBC6121826(PPN)242979521(MiAaPQ)EBC6122106(EXLCZ)99410000001047398720200221d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFoundations of the Theory of Parthood A Study of Mereology /by Andrzej Pietruszczak1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XXIII, 285 p. 729 illus., 4 illus. in color.) Trends in Logic, Studia Logica Library,1572-6126 ;54Includes index.3-030-36532-8 Foreword -- Chapter I. Introduction -- Chapter II. “Existentially neutral” theories of parthood -- Chapter III. Theories of parthood with sum existence axioms -- Chapter IV. Theories of parthood without transitivity -- Appendix A. Logic and set theory -- Appendix B. Algebra.This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically analyzes and explains core topics related to mereology, such as parthood without antisymmetry, non-existence of the zero element, and Leśniewski's notion of class and set. The book also delves into three theories of parthood: two concern the sum existence axioms, and the third contends with transitivity of parthood. This is the first systematic analysis of systems of mereology of its kind and is suitable for students, scholars, logicians, and mathematicians who wish to further their knowledge of mereology. Original polish publication “Podstawy teorii części” by The Nicolaus Copernicus University Press.Trends in Logic, Studia Logica Library,1572-6126 ;54Analysis (Philosophy)LogicAlgebraAnalytic Philosophyhttps://scigraph.springernature.com/ontologies/product-market-codes/E39000Logichttps://scigraph.springernature.com/ontologies/product-market-codes/E16000Algebrahttps://scigraph.springernature.com/ontologies/product-market-codes/M11000Analysis (Philosophy)Logic.Algebra.Analytic Philosophy.Logic.Algebra.111.82111.82Pietruszczak Andrzejauthttp://id.loc.gov/vocabulary/relators/aut922655MiAaPQMiAaPQMiAaPQBOOK9910484565803321Foundations of the Theory of Parthood2070427UNINA