00950cam0-22003131i-450-99000456208040332120130923110748.0000456208FED01000456208(Aleph)000456208FED0100045620819990604d1928----km-y0itay50------bagerDEy-------001yy<<Die >>abendlandische Kirchenbusse im ausgang des Christlichen altertumsBernhard PoschmannMunchenKosel & Pustet1928316 p.24 cmMünchener Studien zur historischen Theologie07234.166203.4Poschmann,Bernhard180351ITUNINARICAUNIMARCBK990004562080403321234.16 POS 1Bibl. 12773FLFBCFLFBCAbendlandische Kirchenbusse im ausgang des Christlichen altertums549220UNINA01494nam 2200349 450 991071976710332120230625110404.03-0365-7377-1(CKB)4960000000467935(NjHacI)994960000000467935(EXLCZ)99496000000046793520230625d2023 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLogic and Computation /edited by Razvan Diaconescu[Place of publication not identified] :MDPI - Multidisciplinary Digital Publishing Institute,2023.1 online resource (194 pages)3-0365-7376-3 The present reprint contains five articles accepted and published in the Special Issue "Logic and Computation 2023" of the MDPI "Mathematics" journal, covering several topics on computing science based on some form of logic. These topics include the model theory for formal logic-based formal specification and programming, logic mining and logic for games. It is hoped that the reprint will be interesting and useful for those working in the area of ​​applying logic to computing.Logic programmingLogic programming.005.1Diaconescu RăzvanNjHacINjHaclBOOK9910719767103321Logic and Computation376364UNINA01245nam0 2200313 i 450 VAN0006575720240806100537.64701-992708-7-220081001d2005 |0itac50 baengGB|||| |||||Sentencing and punishmentthe quest for justiceSusan Easton and Christine PiperOxfordOxford universityc2005xxv, 415 p.24 cm.Diritto penaleGran BretagnaVANC002505FISentenzeGran BretagnaVANC025342FIGBOxfordVANL000020EastonSusan M.VANV052299725262PiperChristineVANV052300725261Oxford University <editore>VANV107944650Easton, S.M.Easton, Susan M.VANV061863Easton, S. M.Easton, Susan M.VANV061864ITSOL20260206RICABIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00VAN00065757BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XIV.El.74 00BFG586 20081001 Sentencing and punishment1416765UNICAMPANIA