Plaisted david (13 Ergebnisse)
- Softcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,24
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Gene Plaisted; OSC (illustrator).
Restoring the Truth about Creation, Book 1
Joe Spears; David Plaisted; Matt Promise; Phil Johnson; Jeff Gift
Verlag: Triangle Association for the Science of Creation
- Softcover
Anbieter: ThriftBooks-Dallas, Dallas, TX, USAThriftBooks-Dallas
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 9,01
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Anbieter: AwesomeBooks, Wallingford, Vereinigtes KönigreichAwesomeBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 22,63
EUR 4,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
paperback. Zustand: 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 been… 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
Anbieter: Bahamut Media, Reading, Vereinigtes KönigreichBahamut Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 22,63
EUR 8,18 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
paperback. Zustand: 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).
Sprache: Englisch
Verlag: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 37,33
EUR 7,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Vieweg+Teubner Verlag, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,35
Versand nach gratisVersand innerhalb von USAAnzahl: 5 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Vieweg+Teubner Verlag, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 51,66
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
Sprache: Englisch
Verlag: Vieweg+Teubner Verlag, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,32
EUR 14,04 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 36,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Broschiert Broschiert. Zustand: 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. Wi…r versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236.
Sprache: Englisch
Verlag: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,23 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 number… 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.
Weitere BilderSprache: Englisch
Verlag: Vieweg & Teubner, 1999
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,80
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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, A…braham-Lincoln-Str. 46, 65189 Wiesbaden, productsafety[at]springernature[dot]com | Anbieter: preigu.
Weitere BilderVerlag: George W Jacobs, Philadelphia, 1920
- Hardcover
Anbieter: E. M. Maurice Books, ABAA, Torrington, CT, USAE. M. Maurice Books, ABAA
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 58,67
EUR 6,57 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
In den WarenkorbPictorial Cover. Zustand: 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 Pl…aisted Abbott. Not in Baumgarten Size: Small Thick 8vo. Elenore Plaisted Abbott (illustrator).
Sprache: Deutsch
Verlag: Vieweg+Teubner Verlag
Serie: Computational Intelligence, Buch 27 von 27. Buch 27 von 27 - Computational Intelligence
- Softcover
Anbieter: Buchmarie, Darmstadt, DeutschlandBuchmarie
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 31,87
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Good.
