Automatisierung von Terminierungsbeweisen

  • Authors
  • Christoph Walther
  • Editors
  • Wolfgang Bibel

Table of contents

  1. Front Matter
    Pages I-IX
  2. Christoph Walther
    Pages 1-12
  3. Christoph Walther
    Pages 13-17
  4. Christoph Walther
    Pages 18-30
  5. Christoph Walther
    Pages 31-52
  6. Christoph Walther
    Pages 53-76
  7. Christoph Walther
    Pages 77-98
  8. Christoph Walther
    Pages 99-113
  9. Christoph Walther
    Pages 114-123
  10. Christoph Walther
    Pages 124-126
  11. Back Matter
    Pages 127-254

About this book

Keywords

Algorithmen Beweisen Computer Datenstrukturen Genom Implementierung Informatik Intelligenz Optimierung Programmiersprache Wissen wissensbasierte Systeme

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-85404-9
  • Copyright Information Springer Fachmedien 1991
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-04771-9
  • Online ISBN 978-3-322-85404-9
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Aerospace