ISBN 013054552X books & textbook

Automated Reasoning: 33 Basic Research Problems

Prentice Hall /1987-11-01 Paperback / 319 Pages
isbn-10: 013054552X / isbn-13: 9780130545527