Gesamtpreis (1 Artikel Artikel):
Versandziel:
9783519021339 - Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) von Theodor Lettmann, Hans Kleine Büning (18 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (18)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (3)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (18)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
- Keine Print-on-Demand Angebote (13)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Aussagenlogik. Deduktion und Algorithmen.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Sehr gut. Stuttgart, Teubner 1994. gr.8°. Einige Abb. X, 438 S. OKart. Leitfäden und Monographien der Informatik.- Mit Übungsaufgaben.- Mit Literaturverzeichnis.
-
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,36
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Aussagenlogik: Deduktion und Algorithmen (Leitf�den und Monographien der Informatik)
Sprache: Deutsch
Verlag: Vieweg+Teubner Verlag 1994-01-01, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 63,14
EUR 17,85 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Aussagenlogik : Deduktion Und Algorithmen -Language: German
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Aussagenlogik
Sprache: Deutsch
Verlag: Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Zustand: New. pp. 452.
-
Zustand: Gut. Zustand: Gut | Seiten: 452 | Sprache: delaware | Produktart: Bücher | Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB selbst die fiir die Aussagenlogik interes santen Resultate zu reichhaltig sind, urn sie zusammen mit der Pradikaten logik in nur einem Zyklus zu behandeln. Da aber viele Ergebnisse fiir eine effiziente Behandlung der vollen Pradikatenlogik von groBem N utzen sind, haben wir uns entschlossen, die Themenbereiche, die von allgemeinem Inter esse sind, zu sammeln, zusammenhangend aufzuarbeiten und in Buchform zu veroffentlichen. Aber selbst die Beschrankung auf die Aussagenlogik ist nicht ausreichend, urn wirklich aile Problemstellungen und Ansatze aufzu nehmen. Wir haben daher hier zu Gunsten der Grundlagen und von eher klassischen Inhalten auf Abschnitte iiber z.B. die mehrwertige Aussagenlogik verzichtet.
-
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
Sprache: Deutsch
Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - '. Dieses Lehrbuch . stellt die Grundlagen dieses Gebiets ausführlich und umfassend . dar.' P. Schmitt. Internationale Mathematische Nachrichten, Wien.
-
Taschenbuch. Zustand: Neu. Aussagenlogik: Deduktion und Algorithmen | Deduktion und Algorithmen | Theodor Lettmann | Taschenbuch | x | Deutsch | 1994 | Vieweg & Teubner | EAN 9783519021339 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 116,30
EUR 28,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Aussagenlogik : Deduktion Und Algorithmen -Language: German
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Aussagenlogik: Deduktion und Algorithmen - Deduktion und Algorithmen Theodor Lettmann
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: gut. Aussagenlogik: Deduktion und Algorithmen - Deduktion und Algorithmen In deutscher Sprache. pages.
-
Aussagenlogik: Deduktion und Algorithmen
Sprache: Deutsch
Verlag: Vieweg+Teubner, Vieweg+Teubner Verlag Jan 1994, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'. Dieses Lehrbuch . stellt die Grundlagen dieses Gebiets ausführlich und umfassend . dar.' P. Schmitt. Internationale Mathematische Nachrichten, Wien 438 pp. Deutsch.
-
Aussagenlogik
Sprache: Deutsch
Verlag: Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 97,14
EUR 7,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 452 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Aussagenlogik
Sprache: Deutsch
Verlag: Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 452.
-
EUR 64,99
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einfuehrung in die Aussagenlogik.- 1.1 Syntax und Semantik der Aussagenlogik.- 1.2 Einfache Zusammenhaenge.- 1.3 Uebungsaufgaben.- 2 Datenstrukturen und Normalformen.- 2.1 Allgemeine Datenstruktur fuer aussagenlogische Formeln.- 2.2 Negationsnormalform (NNF).
-
Aussagenlogik: Deduktion und Algorithmen
Sprache: Deutsch
Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1994, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB selbst die fiir die Aussagenlogik interes santen Resultate zu reichhaltig sind, urn sie zusammen mit der Pradikaten logik in nur einem Zyklus zu behandeln. Da aber viele Ergebnisse fiir eine effiziente Behandlung der vollen Pradikatenlogik von groBem N utzen sind, haben wir uns entschlossen, die Themenbereiche, die von allgemeinem Inter esse sind, zu sammeln, zusammenhangend aufzuarbeiten und in Buchform zu veroffentlichen. Aber selbst die Beschrankung auf die Aussagenlogik ist nicht ausreichend, urn wirklich aile Problemstellungen und Ansatze aufzu nehmen. Wir haben daher hier zu Gunsten der Grundlagen und von eher klassischen Inhalten auf Abschnitte iiber z.B. die mehrwertige Aussagenlogik verzichtet.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 452 pp. Deutsch.
