Advertisement

Aussagenlogik: Deduktion und Algorithmen

  • Hans Kleine Büning
  • Theodor Lettmann

Part of the Leitfäden und Monographien der Informatik book series (LMI)

Table of contents

  1. Front Matter
    Pages I-X
  2. Hans Kleine Büning, Theodor Lettmann
    Pages 1-14
  3. Hans Kleine Büning, Theodor Lettmann
    Pages 15-48
  4. Hans Kleine Büning, Theodor Lettmann
    Pages 49-135
  5. Hans Kleine Büning, Theodor Lettmann
    Pages 136-216
  6. Hans Kleine Büning, Theodor Lettmann
    Pages 217-313
  7. Hans Kleine Büning, Theodor Lettmann
    Pages 314-360
  8. Hans Kleine Büning, Theodor Lettmann
    Pages 361-408
  9. Back Matter
    Pages 409-438

About this book

Introduction

"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien

Keywords

Algorithmen Handel Komplexität Logik Programmierung Systeme Verfahren

Authors and affiliations

  • Hans Kleine Büning
    • 1
  • Theodor Lettmann
    • 1
  1. 1.Universität-GH PaderbornDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-84809-3
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1994
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-519-02133-9
  • Online ISBN 978-3-322-84809-3
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering