**Semantics: Advances in Theories and Mathematical Models**

by Muhammad Tanvir Afzal (ed.)

**Publisher**: InTech 2012**ISBN-13**: 9789535105350**Number of pages**: 284

**Description**:

The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; Semantic Web and Interfaces.

Download or read it online for free here:

**Download link**

(4.6MB, PDF)

## Similar books

**Lectures on the Curry-Howard Isomorphism**

by

**Morten Heine B. Sorensen, Pawel Urzyczyn**-

**Elsevier Science**

This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

(

**6418**views)

**Topics in History and Comparing Programming Languages**

by

**Dennie Van Tassel**-

**Gavilan College**

This website contains files on the history of computer programming language statements. The files compare programming language statements in several different languages tracing the statement from early languages to present languages.

(

**2704**views)

**Concrete Semantics: With Isabelle/HOL**

by

**Tobias Nipkow, Gerwin Klein**-

**Springer**

The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a tool for formal proofs about computer science artefacts. All the mathematics is formalised in Isabelle and much of it is executable.

(

**2125**views)

**Principles of Programming Languages**

by

**Mira Balaban**-

**Ben-Gurion University of the Negev**

This course is about building computational processes. We need computational processes for computing functions. The means for performing computational processes are programs. The emphasis is on programming languages and their properties.

(

**16506**views)