Grundlagen des maschinellen Beweisens

Eine Einführung für Informatiker und Mathematiker

  • Dieter Hofbauer
  • Ralf-Detlef Kutsche

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 1-32
  3. Dieter Hofbauer, Ralf-Detlef Kutsche
    Pages 33-46
  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. Back Matter
    Pages 155-172

About this book

Keywords

Informatik Logik Maschine Mathematik Semantik Systeme Verfahren

Authors and affiliations

  • Dieter Hofbauer
    • 1
  • Ralf-Detlef Kutsche
    • 1
  1. 1.WiesbadenDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-84223-7
  • Copyright Information Springer Fachmedien Wiesbaden GmbH 1989
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-04718-4
  • Online ISBN 978-3-322-84223-7
  • About this book
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences