Table of contents

  1. Front Matter
  2. Peter B. Andrews
    Pages 1-4
  3. Leo Bachmair, Nachum Dershowitz
    Pages 5-20
  4. Deepak Kapur, Paliath Narendran, Hantao Zhang
    Pages 99-117
  5. Martín Abadi, Zohar Manna
    Pages 172-189
  6. P. H. Schmitt
    Pages 190-198
  7. Kurt Konolige
    Pages 199-208
  8. Frank M. Brown
    Pages 209-228
  9. L. Wos, W. McCune
    Pages 229-239

About these proceedings

Keywords

Mutation automated deduction automated reasoning automated theorem proving heuristics nonmonotonic reasoning proof proving verification

Bibliographic information

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