A Proof Theory for Description Logics

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Database Management, Data Processing, General Computing
Big bigCover of A Proof Theory for Description Logics

More books from Springer London

bigCover of the book 3D Video and Its Applications by
bigCover of the book Semantic Modeling and Interoperability in Product and Process Engineering by
bigCover of the book Information Visualisation and Virtual Environments by
bigCover of the book Energy-Based Economic Development by
bigCover of the book The Minnesota Code Manual of Electrocardiographic Findings by
bigCover of the book Guide to e-Science by
bigCover of the book Geometric Modeling and Reasoning of Human-Centered Freeform Products by
bigCover of the book Combination Therapy in Urological Malignancy by
bigCover of the book Success in Academic Surgery: Health Services Research by
bigCover of the book Formal Methods: State of the Art and New Directions by
bigCover of the book Cancer: Palliative Care by
bigCover of the book Modeling and Simulating Bodies and Garments by
bigCover of the book Fundamentals of Predictive Text Mining by
bigCover of the book Colour Atlas of Micro-Oto-Neurosurgical Procedures by
bigCover of the book Multicriteria Analysis and LCA Techniques by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy