Plaisted David (43 results)

- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 6.49
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. Gene Plaisted; OSC (illustrator).

- Softcover
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.ThriftBooks-Atlanta
Contact seller5-star sellerCondition: Used - Very good
US$ 6.49
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Gene Plaisted; OSC (illustrator).

- Softcover
Seller: Your Online Bookstore, Houston, TX, U.S.A.Your Online Bookstore
Contact seller5-star sellerCondition: Used - Fair
US$ 6.50
Free ShippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Fair. Gene Plaisted; OSC (illustrator).

Restoring the Truth about Creation, Book 1
Joe Spears; David Plaisted; Matt Promise; Phil Johnson; Jeff Gift
Published by Triangle Association for the Science of Creation
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 9.98
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: AwesomeBooks, Wallingford, , United KingdomAwesomeBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 25.68
US$ 5.48 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
paperback. Condition: Very Good. Music and the Mass: A Practical Guide for Ministers of Music, Second Edition This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly be…en well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Gene Plaisted; OSC (illustrator).

- Softcover
Seller: Bahamut Media, Reading, , United KingdomBahamut Media
Contact seller5-star sellerCondition: Used - Very good
US$ 25.68
US$ 9.28 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
paperback. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Gene Plaisted; OSC (illustrator).

Language: English
Published by Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 28.56
US$ 8.64 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. pp. 184 24:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on Creme w/Gloss Lam.

Language: English
Published by Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 33.36
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 184 2nd Edition.

Language: English
Published by Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 30.78
US$ 11.45 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. pp. 184.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 58.86
Free ShippingShips within U.S.A.Quantity: 1 available
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.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 58.86
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 68.89
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.59
US$ 15.93 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
David A. Plaisted, Wolfgang Bibel, Yunshan Zhu, Rudolf Kruse
Language: English
Published by Vieweg+Teubner Verlag 1999-10-28 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 65.10
US$ 20.60 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 83.67
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 68.49
US$ 19.95 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.

Language: English
Published by Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 76.59
US$ 19.95 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.

Language: English
Published by Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft 1997
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Fine
US$ 42.67
US$ 57.42 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert Broschiert. Condition: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei.…Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236.

Language: English
Published by Vieweg+Teubner Verlag, Vieweg+Teubner Verlag 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.39
US$ 70.45 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first edition. We analyze the search efficiency of a numb…er of common refutational theorem proving strategies on propositional and near-propositional prob lems. Search efficiency is concerned with the total number of proofs and partial proofs generated, rather than with the sizes of the proofs. We show that most common strategies produce search spaces of expo nential size even on simple sets of clauses, or else are not sensitive to the goal. However, clause linking, which uses a reduction to proposi tional calculus, has behavior that is more favorable in some respects, a property that it shares with methods that cache subgoals. A strat egy which is of interest for term-rewriting based theorem proving is the A-ordering strategy, and we discuss it in some detail. We show some advantages of A-ordering over other strategies, which may help to explain its efficiency in practice. We also point out some of its com binatorial inefficiencies, especially in relation to goal-sensitivity and irrelevant clauses. In addition, SLD-resolution, which is of importance for Prolog implementation, has combinatorial inefficiencies; this may suggest basing Prolog implementations on a different theorem proving strategy. We also develop techniques for studying the asymptotic complexity of first-order theorem provers. This permits an analytic comparison of the worst-case performances of various theorem proving methods.
More imagesLanguage: English
Published by Vieweg & Teubner 1999
Series: Computational Intelligence, Book 27 of 27. Book 27 of 27 - Computational Intelligence
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 58.96
US$ 80.55 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. The Efficiency of Theorem Proving Strategies | A Comparative and Asymptotic Analysis | David A. Plaisted (u. a.) | Taschenbuch | Computational Intelligence | Einband - flex.(Paperback) | Englisch | 1999 | Vieweg & Teubner | EAN 9783528155742 | Verantwortliche Person für die EU: Vieweg+Teubner Verlag,… Abraham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
More imagesPublished by George W Jacobs, Philadelphia 1920
- Hardcover
Seller: E. M. Maurice Books, ABAA, Torrington, CT, U.S.A.E. M. Maurice Books, ABAA
Contact seller5-star sellerCondition: Used - Very good
US$ 65.00
US$ 7.50 shippingShips within U.S.A.Quantity: 1 available
Pictorial Cover. Condition: Very Good Minus. No Jacket. Circa 1920. 569 ps. Yellow cloth ruled and titled in black ink, pastedown to upper cover, light dust soil, mended tear to edge of frontis, bookplate, binding slightly shaken, mild mustiness. The juvenile classic illustrated with 7 color plates by Brandywine artist, Elenore…Plaisted Abbott. Not in Baumgarten Size: Small Thick 8vo. Elenore Plaisted Abbott (illustrator).

- Hardcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 296.11
US$ 20.60 shippingShips from United Kingdom to U.S.A.Quantity: 5 available
Hardcover. Condition: New.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 70. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965 Language: English Pages: 70 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 965.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 76. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 961 Language: English Pages: 76 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 961.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 60. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 995 Language: English Pages: 60 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 995.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 34. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 967 Language: English Pages: 34 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 967.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 36. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.955 Language: English Pages: 36 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.955.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatheBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 32. A perfect gift f…or your loved ones. Reprinted from 1979 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.978 Language: English Pages: 32 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no.978.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 42. A perfect gift…for your loved ones. Reprinted from 1978 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: English Pages: 42.

Language: English
- Hardcover
- Print on Demand
Seller: S N Books World, Delhi, , IndiaS N Books World
Contact seller5-star sellerLeatherBound. Condition: New. BOOKS ARE EXEMPT FROM IMPORT DUTIES AND TARIFFS; NO EXTRA CHARGES APPLY. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 52. A perfect gift…for your loved ones. Reprinted from 1978 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932 Language: English Pages: 52 Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 932.