Relational Methods in Computer Science

Relational Methods in Computer Science
Details
- OL Work ID
- OL19899377W
Subjects
Mathematical Logic and Formal LanguagesComputational complexitySoftware engineeringSoftware EngineeringAlgebraSymbolic and Algebraic ManipulationComputer ScienceLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Data processingDiscrete Mathematics in Computer ScienceArtificial intelligenceComputer science