Lectures on Logic and Computation

Lectures on Logic and Computation
Details
- OL Work ID
- OL19882893W
Subjects
Mathematical Logic and Formal LanguagesComputational complexitySymbolic and mathematical LogicDiscrete Mathematics in Computer ScienceAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Computer softwareMathematical Logic and FoundationsArtificial intelligenceComputer science