Seller: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germany
£ 16.11
Convert currencyQuantity: 1 available
Add to basketCondition: 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.
Seller: Better World Books, Mishawaka, IN, U.S.A.
£ 31.81
Convert currencyQuantity: 1 available
Add to basketCondition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Seller: Antiquariat Seitenwechsel, Hildesheim, NI, Germany
£ 17.90
Convert currencyQuantity: 1 available
Add to basket0387974504, 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.
Published by Springer US 1991-01-01, 1991
ISBN 10: 1461277922 ISBN 13: 9781461277927
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 50.80
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
£ 56.76
Convert currencyQuantity: 1 available
Add to basketCondition: 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.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 55.72
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 46.82
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
£ 55.85
Convert currencyQuantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Majestic Books, Hounslow, United Kingdom
Condition: Used. pp. 425.
£ 79.19
Convert currencyQuantity: 1 available
Add to basketCondition: Used. pp. 425.
Seller: Biblios, Frankfurt am main, HESSE, Germany
£ 86.04
Convert currencyQuantity: 1 available
Add to basketCondition: Used. pp. 425.
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
£ 46.02
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Published by World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Language: English
Seller: Rarewaves.com UK, London, United Kingdom
Hardback. Condition: New. 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.
Published by World Scientific Publishing Co Pte Ltd, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 1200 pages. 6.10x2.00x9.30 inches. In Stock.
Published by World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In.
Published by World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Language: English
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Hardback. Condition: New. 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.
Published by New York Inc.: Springer-Verlag, 1991
Seller: Antiquariat Bernhardt, Kassel, Germany
£ 45.09
Convert currencyQuantity: 1 available
Add to basketgebundene Ausgabe. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. X, 425 Seiten, Englisch 780g.
Seller: moluna, Greven, Germany
£ 42.27
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of .