Advertisement

Automated Theorem Proving

  • Authors
  • Wolfgang Bibel

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Wolfgang Bibel
    Pages 1-10
  3. Wolfgang Bibel
    Pages 57-118
  4. Wolfgang Bibel
    Pages 119-217
  5. Wolfgang Bibel
    Pages 218-276
  6. Back Matter
    Pages 277-294

About this book

Keywords

Algorithmen Analysis Beweisen Extension Intelligenz Logik Performance Problemlösen Processing Programmieren Programmierung Technologie Wissen formale Logik künstliche Intelligenz

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-90100-2
  • Copyright Information Springer Fachmedien Wiesbaden GmbH 1982
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-08520-9
  • Online ISBN 978-3-322-90100-2
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering