You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
missing page info • first pub 2015 • 1 edition
ISBN/UID: 9781330206607
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
One way to increase confidence in a reasoning program is to show that the conclusions that it draws correspond to valid inferences within some easily intelligible logical theory. Such a correspondence has been shown for many of the best known phys...
Community Reviews
Content Warnings
missing page info • 2015
ISBN/UID: 9781330206607
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
One way to increase confidence in a reasoning program is to show that the conclusions that it draws correspond to valid inferences within some easily intelligible logical theory. Such a correspondence has been shown for many of the best known phys...
Community Reviews
Content Warnings