A Proof Theory for Description Logics /
Guardado en:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | engelsk |
| Udgivet: |
Londres, Inglaterra :
Springer,
2012, c2012
|
| Serier: | (SpringerBriefs in Computer Science)
|
| Online adgang: | Ver documento en línea |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: A Proof Theory for Description Logics /
- Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
- An Introduction to Description Logic /
- Proofs and Algorithms : An Introduction to Logic and Computability /
- Non-Standard Inferences in Description Logics : From Foundations and Definitions to Algorithms and Analysis /
- Proof, Computation and Agency : Logic at the Crossroads /
- Aristotle's Modal Proofs : Prior Analytics A8-22 in Predicate Logic /