About this scholarly article

Automated Deduction — Cade-13 Volume 1104 by McRobbie, M. A.; Slaney, J. K. is a scholarly article available to read on EtoBox.

Author

McRobbie, M. A.; Slaney, J. K.

Publisher

Springer Berlin Heidelberg

Published

1996