![](https://media.springernature.com/w90/springer-static/cover/journal/10817/66/4.jpg?as=webp)
Volume 66, Issue 4
November 2022Special issue on Six Decades of Automated Reasoning: Papers in Memory of Larry Wos (437-584)
- Issue Editor:
-
- Maria Paola Bonacina
23 articles in this issue