Laden...
In het kort
Samenvatting
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.
In het kort
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 base...
Specificaties
Auteur
Răzvan Diaconescu
Uitgever
Van Ditmar Boekenimport B.V.
Taal
Engels
Aantal pagina's
194
Formaat
Hardcover
Publicatiedatum
24 april 2023
ISBN
9783036573762
Wij helpen je graag!
Kom je er niet direct uit? Wij helpen je graag met al jouw vragen.
Misschien vind je deze boeken ook leuk...
Leuk om te lezen naast "Logic and Computation"
