1
Table of Contents: ... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...
View full text
Electronic eBook
2
Table of Contents: ...1. Terms and Relations -- 2. The Language PCF -- 3. From Evaluation to Interpretation -- 4...
View full text
Electronic eBook
3
Table of Contents: ... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...
View full text
Electronic eBook
4
by Halpin, Harry., Halpin, Harry.
Published 2013
Table of Contents: ...Introduction -- Architecture of the World Wide Web -- The Semantic Web -- Theories of Semantics...
View full text
Electronic eBook
5
by Deng, Yuxin., Deng, Yuxin.
Published 2014
Table of Contents: ...1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4...
View full text
Electronic eBook
6
Table of Contents: ...Introduction -- Lexical Analysis -- Syntactic Analysis -- Semantic Analysis -- References -- Index....
View full text
Electronic eBook
7
by Majkić, Zoran., Majkić, Zoran.
Published 2014
Table of Contents: ...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...
View full text
Electronic eBook
8
9
Published 2005
Table of Contents: ... Components: Concepts and Relations -- A Methodology to Create Legal Ontologies in a Logic Programming...
View full text
Electronic eBook
10
Table of Contents: ...Introduction -- Preliminaries -- Operational Semantics -- Security Properties -- Verification...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ...Foundations -- From Web to Semantic Web -- Semantic Web Services -- WSMO and WSML -- SESA...
View full text
Electronic eBook
12
Table of Contents: ...Introduction -- Simple Lock -- Bounded Buffer -- Message-Passing Services -- Fifo Channels from...
View full text
Electronic eBook
13
Table of Contents: ...Introduction -- Part 1. Background -- Introduction to Part One -- Constructivism -- Intuitionism...
View full text
Electronic eBook
14
Table of Contents: ...Introduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating...
View full text
Electronic eBook
15
Table of Contents: ... Semantics -- Discourse -- Dialogue -- An Introduction to Prolog....
View full text
Electronic eBook
16
by O'Regan, Gerard., O'Regan, Gerard.
Published 2008
Table of Contents: ... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...
View full text
Electronic eBook
17
by O'Regan, Gerard., O'Regan, Gerard.
Published 2012
Table of Contents: ...Computing in Early Civilisations -- What is a Computer?- Early Computers -- Developments...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ...Overview, Background -- Computational Intelligence: An Introduction -- Preprocessing, Visualization...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... -- Cooperating Answer Set Programming -- Predicate Introduction Under Stable and Well-Founded Semantics...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Software System for Robotic Learning by Experimentation -- A Mobile Robot Control Framework: From...
View full text
Electronic eBook