EUR 38,85
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 38,85
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 30,80
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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.
EUR 14,04
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
EUR 46,32
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 184.
EUR 46,04
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 184.
EUR 48,00
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 184.
EUR 42,43
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloCondizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
EUR 62,95
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
EUR 51,83
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 60,54
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Birkhäuser Boston, Birkhäuser Boston Jan 2008, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 64,19
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. 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.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 180 pp. Englisch.
EUR 14,01
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Good.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 73,82
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Birkhäuser Boston, Birkhäuser Boston, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 67,57
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
EUR 66,90
Convertire valutaQuantità: 7 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 81,39
Convertire valutaQuantità: 12 disponibili
Aggiungi al carrelloCondizione: New. 2008. Paperback. . . . . .
EUR 69,52
Convertire valutaQuantità: 7 disponibili
Aggiungi al carrelloCondizione: New.
EUR 66,54
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
EUR 80,33
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloCondizione: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
EUR 98,19
Convertire valutaQuantità: 12 disponibili
Aggiungi al carrelloCondizione: New. 2008. Paperback. . . . . . Books ship from the US and Ireland.
EUR 89,40
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 166 pages. 9.25x6.00x0.75 inches. In Stock.
EUR 70,22
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 61,09
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: moluna, Greven, Germania
EUR 55,78
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: 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.
Editore: Birkhäuser Boston Jan 2008, 2008
ISBN 10: 0817647627 ISBN 13: 9780817647629
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 64,19
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - 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. The classic text is replete with illustrative examples and exercises. 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. 180 pp. Englisch.