**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.

(

**11453**views)

**Exploring Programming Language Architecture in Perl**

by

**Bill Hails**

This book presents an informal and friendly introduction to some of the core ideas in modern computer science, using the programming language Perl as its vehicle. The book takes the form of a series of working interpreters for the language PScheme.

(

**16082**views)

**Formal Language Theory for Natural Language Processing**

by

**Shuly Wintner**-

**ESSLLI**

This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.

(

**10616**views)

**Type Systems for Programming Languages**

by

**Robert Harper**

Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.

(

**16234**views)