Interactive Theorem Proving
No description available.
Mathematical Logic and Formal LanguagesSoftware engineeringSystems and Data SecurityData protectionLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceArtificial intelligenceArtificial Intelligence (incl. Robotics)