LEADER 01494nam  2200349   450 
001 9910719767103321
005 20230625110404.0
010   $a3-0365-7377-1
035   $a(CKB)4960000000467935
035   $a(NjHacI)994960000000467935
035   $a(EXLCZ)994960000000467935
100   $a20230625d2023      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aLogic and Computation /$fedited by Razvan Diaconescu
210  1$a[Place of publication not identified] :$cMDPI - Multidisciplinary Digital Publishing Institute,$d2023.
215   $a1 online resource (194 pages)
311   $a3-0365-7376-3 
330   $aThe 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.
606   $aLogic programming
615  0$aLogic programming.
676   $a005.1
702   $aDiaconescu$b Ra?zvan
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910719767103321
996   $aLogic and Computation$9376364
997   $aUNINA