Marknadens största urval
Snabb leverans

Logic and Computation

Om Logic and Computation

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783036573762
  • Format:
  • Inbunden
  • Sidor:
  • 194
  • Utgiven:
  • 24. april 2023
  • Mått:
  • 175x17x250 mm.
  • Vikt:
  • 687 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 8. augusti 2025

Beskrivning av Logic and Computation

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.

Användarnas betyg av Logic and Computation



Hitta liknande böcker
Boken Logic and Computation finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.