Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Alle lieferbaren Bücher - alle Angebote vergleichen
ISBN: 9783519021339
Bester Preis: € 10,34 (vom 08.04.2016)Aussagenlogik: Deduktion und Algorithmen
ISBN: 9783519021339 bzw. 3519021331, in Deutsch, Teubner, Stuttgart, Deutschland, neu.
Deduktion und Algorithmen, 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 (Leitfäden und Monographien der Informatik) (1994)
ISBN: 9783519021339 bzw. 3519021331, in Deutsch, 452 Seiten, 1994. Ausgabe, Vieweg+Teubner Verlag, Taschenbuch, gebraucht.
Neu ab: £44.73 (10 Angebote)
Gebraucht ab: £26.62 (3 Angebote)
Zu den weiteren 13 Angeboten bei Amazon.co.uk
Von Händler/Antiquariat, rbmbooks.
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. Paperback, Ausgabe: 1994, Label: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, Produktgruppe: Book, Publiziert: 1994-01-01, Studio: Vieweg+Teubner Verlag.
Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (1994)
ISBN: 9783519021339 bzw. 3519021331, in Deutsch, 452 Seiten, 1994. Ausgabe, Vieweg+Teubner Verlag, Taschenbuch, neu.
Neu ab: £44.73 (10 Angebote)
Gebraucht ab: £26.62 (3 Angebote)
Zu den weiteren 13 Angeboten bei Amazon.co.uk
Von Händler/Antiquariat, BOOKS etc.
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. Paperback, Ausgabe: 1994, Label: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, Produktgruppe: Book, Publiziert: 1994-01-01, Studio: Vieweg+Teubner Verlag.
Aussagenlogik: Deduktion und Algorithmen
ISBN: 9783322848093 bzw. 3322848094, vermutlich in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien, eBook.
Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (1994)
ISBN: 9783519021339 bzw. 3519021331, in Deutsch, 452 Seiten, 1994. Ausgabe, Teubner Verlag, Taschenbuch, neu.
Neu ab: EUR 54,99 (4 Angebote)
Gebraucht ab: EUR 10,34 (5 Angebote)
Zu den weiteren 9 Angeboten bei Amazon.de (Int.)
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Aussagenlogik: Deduktion und Algorithmen (Leitfäden und Monographien der Informatik) (1994)
ISBN: 9783519021339 bzw. 3519021331, in Deutsch, 452 Seiten, 1994. Ausgabe, Teubner Verlag, Taschenbuch, gebraucht.
Neu ab: EUR 54,99 (4 Angebote)
Gebraucht ab: EUR 10,34 (5 Angebote)
Zu den weiteren 9 Angeboten bei Amazon.de (Int.)
Von Händler/Antiquariat, MEDIMOPS.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Aussagenlogik: Deduktion und Algorithmen
ISBN: 9783322848093 bzw. 3322848094, in Deutsch, Springer Nature, neu, E-Book.
Algorithmen, Handel, Komplexität, Logik, Programmierung, Systeme, Verfahren, Engineering; Engineering, general, eBook.