![](https://media.springernature.com/w90/springer-static/cover/journal/10817/33/3.jpg?as=webp)
Volume 33, Issue 3-4
October 2004First-Order Theorem Proving
- Issue Editors:
-
- Deepak Kapur,
- Laurent Vigneron
6 articles in this issue
First-Order Theorem Proving