Foundations of Information and Knowledge Systems
No description available.
Mathematical Logic and Formal LanguagesComputational complexityDiscrete Mathematics in Computer ScienceComputer softwareAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Mathematics of ComputingArtificial intelligenceComputer science