Advertisement

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

Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering