Genres
- Mathematical Logic and Formal Languages
- Computational complexity
- Symbolic and mathematical Logic
- Discrete Mathematics in Computer Science
- Algorithm Analysis and Problem Complexity
- Logic design
- Logics and Meanings of Programs
- Artificial Intelligence (incl. Robotics)
- Computer software
- Mathematical Logic and Foundations
- Artificial intelligence
- Computer science
people already read
people are currently reading
people want to read
About the author
Editions
