Opening book details…
About this scholarly article
Automated Deduction — CADE-15 Volume 1421 by Kirchner, Claude; Kirchner, Hélène is a scholarly article available to read on EtoBox.
- Author
- Kirchner, Claude; Kirchner, Hélène
- Publisher
- Springer Berlin Heidelberg
- Published
- 1998
- Language
- EN