menu
{ "item_title" : "Logic and Computation", "item_author" : [" Răzvan Diaconescu "], "item_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.", "item_img_path" : "https://covers3.booksamillion.com/covers/bam/3/03/657/376/3036573763_b.jpg", "price_data" : { "retail_price" : "70.31", "online_price" : "70.31", "our_price" : "70.31", "club_price" : "70.31", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Logic and Computation|Răzvan Diaconescu

Logic and Computation

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

Details

  • ISBN-13: 9783036573762
  • ISBN-10: 3036573763
  • Publisher: Mdpi AG
  • Publish Date: April 2023
  • Dimensions: 9.61 x 6.69 x 0.69 inches
  • Shipping Weight: 1.37 pounds
  • Page Count: 194

Related Categories

You May Also Like...

    1

BAM Customer Reviews