Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

  • Authors
  • Dieter Hofbauer
  • Ralf-Detlef Kutsche

Table of contents

  1. Front Matter
    Pages I-IX
  2. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 1-31
  3. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 33-45
  4. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 47-84
  5. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 85-102
  6. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 103-112
  7. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 113-128
  8. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 129-154
  9. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 155-158
  10. Back Matter
    Pages 159-174

About this book

Keywords

Handwerk Informatik Logik Maschine Mathematik Programmierung Prädikatenlogik erster Stufe Resolution Schnittregel Systeme Termersetzung Termersetzungssystem Theorembeweisen Verfahren Vollständigkeit

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-663-07681-0
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1991
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-14718-1
  • Online ISBN 978-3-663-07681-0
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering