Automated Deduction — Cade-13

Author
M. A. McRobbie, J. K. Slaney
Publisher
Springer
Subject
Computer Science
Year
1996
Vol/Edition
1104
ISBN
9783540686873