Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
EUR 27,92
Anzahl: 1 verfügbar
In den WarenkorbZustand: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Anbieter: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Deutschland
EUR 12,90
Anzahl: 1 verfügbar
In den WarenkorbZustand: Sehr gut. 435 p. In very good condition. ISBN: 9780387974507 Sprache: Englisch Gewicht in Gramm: 756 16,5 x 2,5 x 24,8 cm, hardcover.
Anbieter: Antiquariat Seitenwechsel, Hildesheim, NI, Deutschland
0387974504, ehem. Bibliotheksexpl., Rückensignatur, Bibliotheksstempel innen, ansonsten einwandfrei, former library book, very good condition, as new 3540974504 Mit offener Rechnung beliefern wir gerne Buchhandlungen, Bibliotheken, Antiquariate, Schulen, Galerien und Institutionen. Bei neuen uns noch unbekannten privaten Kunden erlauben wir uns die Bitte um Vorauskasse. Wir bitten um Ihr Verständnis. Sprache: Deutsch Gewicht in Gramm: 800 Groß-8°, OPpbd., IX, 425 S. : with 36 illustrations.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,65
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. reprint edition. 435 pages. 9.25x6.10x1.00 inches. In Stock.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 92,91
Anzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 425.
Verlag: World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 478,09
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Verlag: World Scientific Publishing Company Nov 2024, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes -- propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms -- Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Verlag: New York Inc.: Springer-Verlag, 1991
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
gebundene Ausgabe. Zustand: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. X, 425 Seiten, Englisch 780g.