ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods.
David GeleßusMichael LeuschelPublished in: ABZ (2020)
Keyphrases
- set theory
- formal methods
- theoretical computer science
- artificial intelligence
- model checker
- computational learning theory
- learning theory
- mathematical morphology
- first order logic
- fuzzy set theory
- partial order
- rough sets
- computer science
- software engineering
- knowledge based systems
- model checking
- rough set theory
- fuzzy sets
- formal specification
- probability theory
- gray scale
- real world
- modeling language
- knowledge representation
- multiscale
- image processing
- image analysis
- pattern recognition