Skip to main content
SpringerLink
Log in

Aussagenlogik: Deduktion und Algorithmen

Deduktion und Algorithmen

  • Book
  • © 1994

Overview

Authors:
  1. Hans Kleine Büning

    1. Universität-GH Paderborn, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Theodor Lettmann

    1. Universität-GH Paderborn, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Einführung in die Aussagenlogik

    • Hans Kleine Büning, Theodor Lettmann
    Pages 1-14

  3. Datenstrukturen und Normalformen

    • Hans Kleine Büning, Theodor Lettmann
    Pages 15-48

  4. Erfüllbarkeit

    • Hans Kleine Büning, Theodor Lettmann
    Pages 49-135

  5. Resolution

    • Hans Kleine Büning, Theodor Lettmann
    Pages 136-216

  6. Horn-Logik

    • Hans Kleine Büning, Theodor Lettmann
    Pages 217-313

  7. Kalküle

    • Hans Kleine Büning, Theodor Lettmann
    Pages 314-360

  8. Quantifizierte Formeln

    • Hans Kleine Büning, Theodor Lettmann
    Pages 361-408

  9. Back Matter

    Pages 409-438
    Download chapter PDF
Back to top

Keywords

About this book

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

Authors and Affiliations

  • Universität-GH Paderborn, Deutschland

    Hans Kleine Büning, Theodor Lettmann

Bibliographic Information

  • Book Title: Aussagenlogik: Deduktion und Algorithmen

  • Book Subtitle: Deduktion und Algorithmen

  • Authors: Hans Kleine Büning, Theodor Lettmann

  • Series Title: Leitfäden und Monographien der Informatik

  • DOI: https://doi.org/10.1007/978-3-322-84809-3

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B. G. Teubner Stuttgart 1994

  • Softcover ISBN: 978-3-519-02133-9Published: 01 January 1994

  • eBook ISBN: 978-3-322-84809-3Published: 13 March 2013

  • Edition Number: 1

  • Number of Pages: X, 438

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation