Genres
- Automatic theorem proving
- Logic, symbolic and mathematical
- Software engineering
- Artificial Intelligence (incl. Robotics)
- Computer science
- Data protection
- Computer software
- Logic design
- Artificial intelligence
- Mathematical Logic and Formal Languages
- Logics and Meanings of Programs
- Systems and Data Security
- Algorithm Analysis and Problem Complexity
people already read
people are currently reading
people want to read
About the authors