hardcover. Condition: Very Good. First Edition, 2nd Printing. Used - Very Good.
Language: English
Published by Birkhauser Verlag AG, 1989
ISBN 10: 3764334533 ISBN 13: 9783764334536
Seller: Ammareal, Morangis, France
£ 4.25
Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Poor. Volume 8. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:0817634533.
Language: English
Published by Birkhauser Verlag AG, 1989
ISBN 10: 3764334533 ISBN 13: 9783764334536
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Language: English
Published by Birkhauser Verlag AG, 1989
ISBN 10: 3764334533 ISBN 13: 9783764334536
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: 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.
Condition: Used. pp. 184.
Condition: Used. pp. 184.
Condition: Used. pp. 184.
£ 35.17
Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Livre reconditionné de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Refurbished library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
£ 35.17
Quantity: 1 available
Add to basketSoftcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2008. Livre reconditionné de bibliothèque. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Refurbished library book. Ammareal gives back up to 15% of this item's net price to charity organizations.
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.
Condition: New. Satisfaction Guaranteed or your money back.
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
Condition: As New. Unread book in perfect condition.
Condition: New.
Language: English
Published by Birkhauser Boston Inc, US, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. 1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 60.59
Quantity: Over 20 available
Add to basketCondition: New. In.
PF. Condition: New.
Condition: New.
Condition: As New. Unread book in perfect condition.
Paperback. Condition: Brand New. 166 pages. 9.25x6.00x0.75 inches. In Stock.
Taschenbuch. Condition: Neu. Logic for Computer Scientists | Uwe Schöning | Taschenbuch | Modern Birkhäuser Classics | ix | Englisch | 2008 | Birkhäuser | EAN 9780817647629 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Birkhäuser, Birkhäuser, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible.
Language: English
Published by Birkhauser Boston Inc, US, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Seller: Rarewaves.com UK, London, United Kingdom
Paperback. Condition: New. 1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989.
Language: English
Published by Birkhäuser, Birkhäuser Jan 2008, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible. 180 pp. Englisch.
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A more affordable softcover edition of a classic textGives a good introduction to logic for those with a computer science concentrationReplete with illustrative examples and exercisesUseful as a companion text to an undergraduate com.
Language: English
Published by Birkhäuser, Birkhäuser Jan 2008, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advanced undergraduate course in logic for computer scientists.Springer Nature c/o IBS, Benzstrasse 21, 48619 Heek 180 pp. Englisch.