Opening book details…
About this scholarly article
9th International Conference on Automated Deduction Volume 310 by Lusk, Ewing; Overbeek, Ross is a scholarly article available to read on EtoBox.
- Author
- Lusk, Ewing; Overbeek, Ross
- Publisher
- Springer-Verlag
- Published
- 1988
- Language
- EN