Representation Theorems in Computer Science A Treatment in Logic Engineering /

• Main Author: Özçep, Özgür Lütfü (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Edition: 1st ed. 2019.
• Subjects: 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...