Doets Kees (87 results)
- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
£ 6.31
£ 2.83 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
£ 9.41
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Very good
£ 9.41
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
£ 4.82
£ 5.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Magus Books Seattle, Seattle, WA, U.S.A.Magus Books Seattle
Contact seller5-star sellerCondition: Used - Very good
£ 12.69
£ 3.77 shippingShips within U.S.A.Quantity: 1 available
Trade Paperback. Condition: VG. 8.90 X 5.90 X 1.10 inches used trade paperback edition. lightly shelfworn, corners perhaps slightly bumped. pages and binding are clean, straight and tight. there are no marks to the text or other serious flaws.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 21.14
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 22.34
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 24.99
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. The Haskell Road to Logic, Maths and Programming. Second Edition. Book.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 25.66
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 25.84
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 29.15
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply "There is no royal road to mathematics." Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and…mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's "The Haskell Road to Logic, Maths and Programming" is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.aa Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: aDoets and van Eijckas ``The Haskell Road to Logic, Maths and Programmingaa is an ast Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Seller: Pella Books, Pella, IA, U.S.A.Pella Books
Contact seller2-star sellerCondition: Used - Good
£ 22.35
£ 7.93 shippingShips within U.S.A.Quantity: 1 available
Trade Paperback. Condition: Used Good. No marks or writing, no wear, pretty much as new.
- Softcover
Seller: Rarewaves USA, OSWEGO, IL, U.S.A.Rarewaves USA
Contact seller5-star sellerCondition: New
£ 30.57
Free ShippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
More images- Hardcover
Seller: Bookbot, Prague, Czech RepublicBookbot
Contact seller5-star sellerCondition: Used - Fine
£ 14.12
£ 18.11 shippingShips from Czech Republic to U.S.A.Quantity: 1 available
Hardcover. Condition: Fine. Abnutzung / Risse - leicht. This mathematically-oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn-clause logics, together with an analysis of the semantic aspects of the method. It is through the…inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described. No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 20.41
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Center for the Study of Language and Inf 1996
- Softcover
- First Edition
Seller: Reader's Corner, Inc., Raleigh, NC, U.S.A.Reader's Corner, Inc.
Contact seller5-star sellerCondition: Used - Very good
£ 30.72
£ 4.15 shippingShips within U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. 1st Edition. This is a VG first edition paperback copy, pale blue spine.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 20.36
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 21.71
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 40.63
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 39.92
£ 3.01 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 450.
Language: English
Published by Center for the Study of Language and Information 1996
- Softcover
- First Edition
Seller: Pulpfiction Books, Vancouver, BC, CanadaPulpfiction Books
Contact seller5-star sellerCondition: Used - Fine
£ 31.10
£ 12.46 shippingShips from Canada to U.S.A.Quantity: 1 available
Soft cover. Condition: Fine. 1st Edition. Fine- reprint paperback, clean and unmarked.
- Softcover
Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contact seller5-star sellerCondition: New
£ 25.03
£ 27.93 shippingShips from Australia to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply "There is no royal road to mathematics." Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and…mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's "The Haskell Road to Logic, Maths and Programming" is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.aa Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: aDoets and van Eijckas ``The Haskell Road to Logic, Maths and Programmingaa Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Language: English
Published by Center for the Study of Language and Informat 1996
- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Good
£ 57.15
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 23.49
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply "There is no royal road to mathematics." Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and…mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures.This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's "The Haskell Road to Logic, Maths and Programming" is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.aa Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: aDoets and van Eijckas ``The Haskell Road to Logic, Maths and Programmingaa Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
- Hardcover
Seller: Antiquariat Renner OHG, Albstadt, , GermanyAntiquariat Renner OHG
Contact seller5-star sellerCondition: Used - Near fine
£ 22.21
£ 38.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Sehr gut. Schutzumschlag. Dordrecht, Kluwer (1997). gr.8°. XVIII, 492 p. Hardbound in dust jacket. (dust jacket slightly stained).- Synthese Library, 260.- Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science. Florence, August 1995.
- Hardcover
Seller: Antiquariat Renner OHG, Albstadt, , GermanyAntiquariat Renner OHG
Contact seller5-star sellerCondition: Used - Near fine
£ 22.21
£ 38.82 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Condition: Sehr gut. Schutzumschlag. Dordrecht, Kluwer (1997). gr.8°. XVIII, 532 p. Hardbound in dust jacket. (dust jacket slightly stained).- Synthese Library, 259.- Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science. Florence, August 1995.
- Softcover
Seller: Rarewaves USA United, OSWEGO, IL, U.S.A.Rarewaves USA United
Contact seller5-star sellerCondition: New
£ 31.08
£ 37.74 shippingShips within U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 31.51
£ 42.26 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, , NetherlandsKloof Booksellers & Scientia Verlag
Contact seller4-star sellerCondition: Used - As new
£ 49.71
£ 25.88 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: as new. Cambridge, Mass. : MIT Press, 1994. Hardcover. 228 pp. - This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the metho…d. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic. Condition : as new copy. ISBN 9780262041423. Keywords : COMPUTER STUDIES, Logic programming.
Language: English
Published by Center for the Study of Language and Inf 1996
- Softcover
Seller: SHIMEDIA, Brooklyn, NY, U.S.A.SHIMEDIA
Contact seller5-star sellerCondition: New
£ 77.75
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. Satisfaction Guaranteed or your money back.
