Order Total (1 Item Items):
Shipping Destination:
Theodor Lettmann (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (9)
- As New, Fine or Near Fine (1)
- Very Good or Good (3)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (14)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (4)
- Not Print on Demand (10)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Aussagenlogik : Deduktion und Algorithmen , Leitfäden und Monographien der Informatik
Published by B. G. Teubner Stuttgart 1994, 1994
Seller: Antiquariat Bücherparadies, Landsberg, Germany
Seller rating 4 out of 5 stars
brosch. 438 S. Abb. guter Zustand.
-
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Language: German
Published by Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: Very good.
-
Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (German Edition)
Language: German
Published by Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 55.92
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Aussagenlogik: Deduktion und Algorithmen (Leitf�den und Monographien der Informatik)
Language: German
Published by Vieweg+Teubner Verlag 1994-01-01, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Paperback. Condition: New.
-
Aussagenlogik
Language: German
Published by Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: New. pp. 452.
-
Aussagenlogik: Deduktion und Algorithmen : Deduktion und Algorithmen
Language: German
Published by Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: 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
Language: German
Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Taschenbuch. Condition: 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. Condition: 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)
Language: German
Published by Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Paperback. Condition: Like New. Like New. book.
-
Aussagenlogik: Deduktion und Algorithmen - Deduktion und Algorithmen Theodor Lettmann
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
Condition: gut. Aussagenlogik: Deduktion und Algorithmen - Deduktion und Algorithmen In deutscher Sprache. pages.
-
Aussagenlogik
Language: German
Published by Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: 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
Language: German
Published by Walter de Gruyter, Incorporated, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: New. PRINT ON DEMAND pp. 452.
-
Aussagenlogik: Deduktion und Algorithmen
Language: German
Published by Vieweg+Teubner Verlag, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Condition: 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
Language: German
Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1994, 1994
ISBN 10: 3519021331 ISBN 13: 9783519021339
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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.
