5570 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp i-iv
-
- Chapter
- Export citation
5 - Reasoning on simple DL languages
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 246-301
-
- Chapter
- Export citation
References
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 451-459
-
- Chapter
- Export citation
2 - The Semantic Web and the RDF language
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 52-121
-
- Chapter
- Export citation
Index
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 460-471
-
- Chapter
- Export citation
Introduction
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 1-6
-
- Chapter
- Export citation
4 - Description Logic
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 175-245
-
- Chapter
- Export citation
Part II - Ontologies and logics
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 173-174
-
- Chapter
- Export citation
6 - Implementing a simple DL reasoning engine
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 302-345
-
- Chapter
- Export citation
3 - Managing and querying RDF sources
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 122-172
-
- Chapter
- Export citation
Part I - The Semantic Web
-
- Book:
- The Semantic Web Explained
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014, pp 7-8
-
- Chapter
- Export citation
The Semantic Web Explained
- The Technology and Mathematics behind Web 3.0
-
- Published online:
- 05 August 2014
- Print publication:
- 11 September 2014
2 - Adjoints
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 41-64
-
- Chapter
- Export citation
Basic Category Theory
-
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014
Introduction
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 1-8
-
- Chapter
- Export citation
3 - Interlude on sets
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 65-82
-
- Chapter
- Export citation
Further reading
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 174-176
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp v-vi
-
- Chapter
- Export citation
5 - Limits
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 107-140
-
- Chapter
- Export citation
Appendix Proof of the general adjoint functor theorem
-
- Book:
- Basic Category Theory
- Published online:
- 05 August 2014
- Print publication:
- 24 July 2014, pp 171-173
-
- Chapter
- Export citation