This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.
Simply click on the Download Book button.
Yes, Book downloads on Ebookily are 100% Free.
Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"
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.
Author(s): Răzvan Diaconescu
Publisher: MDPI
Year: 2023
Language: English
Pages: 195
City: Basel