Representation Theorems in Computer Science A Treatment in Logic Engineering /

• Κύριος συγγραφέας: Özçep, Özgür Lütfü (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Θέματα: Computers.; Artificial intelligence.; Computer logic.; Data mining.; Information storage and retrieval.; Theory of Computation.; Logic in AI.; Data Mining and Knowledge Discovery.; Information Storage and Retrieval.

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an unde...