Table of contents

  1. Front Matter
  2. Luigia Aiello, Richard W. Weyhrauch
    Pages 1-13
  3. C. A. Goad
    Pages 39-52
  4. Gérard Guiho, Christian Gresse
    Pages 53-62
  5. A. Ferro, E. G. Omodeo, J. T. Schwartz
    Pages 88-96
  6. D. W. Loveland, R. E. Shostak
    Pages 97-109
  7. Leonard Friedman
    Pages 126-142
  8. Alan M. Thompson
    Pages 143-153
  9. Jacek Leszczylowski
    Pages 170-181
  10. Paul Y Gloess, Jean-Pierre H Laurent
    Pages 195-207
  11. L. Wos, R. Overbeek, L. Henschen
    Pages 208-219
  12. Roddy W. Erickson, David R. Musser
    Pages 220-231

About these proceedings

Keywords

Bibel Künstliche Intelligenz Resolution Variable algorithms automated deduction logic proof set theory theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-10009-1
  • Copyright Information Springer-Verlag 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-10009-6
  • Online ISBN 978-3-540-38140-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences