01494nam 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 Computation376364UNINA