
Logic and Computation
MDPI AG (Publisher)
Published on 24. April 2023
Book
Hardback
194 pages
978-3-0365-7376-2 (ISBN)
Description
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.
More details
Language
English
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 250 mm
Width: 175 mm
Thickness: 17 mm
Weight
685 gr
ISBN-13
978-3-0365-7376-2 (9783036573762)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Guest editor