First Page | Document Content | |
---|---|---|
Date: 2016-07-22 17:55:15Logic Non-classical logic Mathematical logic Metaphysics Philosophical logic Artificial intelligence Description logic Information science Model theory Modal logic First-order logic Web Ontology Language | Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007Add to Reading ListSource URL: formal.iti.kit.eduDownload Document from Source WebsiteFile Size: 303,69 KBShare Document on Facebook |