Table of contents

  1. Front Matter
  2. R. E. Shostak, Richard Schwartz, P. M. Melliar-Smith
    Pages 32-49
  3. Dale A. Miller, Eve Longini Cohen, Peter B. Andrews
    Pages 50-69
  4. Ewing L. Lusk, William W. McCune, Ross A Overbeek
    Pages 70-84
  5. Ewing L. Lusk, William McCune, Ross A Overbeek
    Pages 85-108
  6. Leon Sterling, Alan Bundy
    Pages 144-150
  7. Richard W. Weyhrauch
    Pages 151-158
  8. S. Greenbaum, A. Nagasaka, P. O'Rorke, D. Plaisted
    Pages 159-171
  9. Robert E. Shostak
    Pages 209-222
  10. Tomasz Pietrzykowski, Stanislaw Matwin
    Pages 223-239
  11. Dov M. Gabbay
    Pages 260-273
  12. Alan M. Frisch, James F. Allen
    Pages 274-291
  13. Ricardo Caferra
    Pages 309-325

About these proceedings

Keywords

automated deduction

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0000048
  • Copyright Information Springer-Verlag 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11558-8
  • Online ISBN 978-3-540-39240-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book