Representation Theorems in Computer Science: A Treatment in Logic Engineering

By Özgür Lütfü Özçep

Book Overview

1 Introduction.- 2 Preliminaries.- 3 Representing Spatial Relatedness.- 4 Scalable Spatio-Thematic Query Answering.- 5 Representation Theorems for Stream Processing.- 6 High-Level Declarative Stream Processing.- 7 Representation for Belief Revision.- 8 Conclusion.

• Format: Paperback
• Language: English
• ISBN: 3030257878
• ISBN13: 9783030257873
• Release Date: August 2020
• Publisher: Springer
• Length: 190 Pages
• Weight: 0.64 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"