Importo totale (1 articolo articoli):
Destinazione ordine:
wos larry (28 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (28)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (7)
- Non Print on Demand (25)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Reasoning: Introduction and Applications
Da: BooksByLisa, Highland Park, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione
Soft cover. Condizione: New. First Edition. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book.
-
Automated Reasoning: Introduction and Applications
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Reprint edition. Very Good/Wraps (27516) A Very Good paperback with lightly rubbed covers. Clean, tight, unmarked. .- 482.
-
Automated Reasoning: 33 Basic Research Problems.
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,38
Spedizione EUR 8,23
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. pp.x, 374 pages a very good paperback, [013054552X].
-
Automated Reasoning : Thirty-Three Basic Research Problems
Lingua: Inglese
Editore: Pearson Education, Limited, 1988
ISBN 10: 013054552X ISBN 13: 9780130545527
Da: Better World Books Ltd, Dunfermline, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 11,73
Spedizione EUR 5,88
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
hardcover. Condizione: 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!
-
Automated Reasoning: Introduction and Applications
Da: Callaghan Books South, New Port Richey, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
Prima edizione
Soft cover. Condizione: Very Good. First Edition. Very large, very heavy squarish softcover, glossy wrappers with color-illustration of robot in "The Thinker" pose before a computer, colorfully designed wrappers, black spine and back wrapper with colorful lettering, 482 pages. Light wear to top front tips, very slight at back tips, very tiny dent at spine middle left and spine top left edge. Very Good.
-
Automated Reasoning: Introduction & Applications, 2nd Edition
Da: BookDepart, Shepherdstown, WV, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: UsedVeryGood. Hardcover, 2nd edition, with sealed software; light fading, scuffing to ext erior; small tear at top end of spine; in very good condition with clean te xt, firm binding. No dust jacket.
-
Automated reasoning: Introduction and applications
Da: Cycle Books LA, South el monte, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good.
-
Automated Reasoning: Introduction and Applications/Book & Disk
Da: PAPER CAVALIER UK, London, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 45,77
Spedizione EUR 7,06
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: very good. Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.
-
Condizione: New. Satisfaction Guaranteed or your money back.
-
A Fascinating Country in the World of Computing (CD-ROM included)
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Hard Cover. Condizione: Acceptable. No Jacket. Ex-library with the usual features. The interior is clean and tight. Binding and cover are good. Library label on spine. 587 pages. CD-ROM included. Ex-Library.
-
Automated Reasoning: Introduction and Applications
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
A Fascinating Country in the World of Computing
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: The Book Spot, Sioux Falls, MN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: New.
-
Automated reasoning: Introduction and applications
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 163,51
Spedizione EUR 29,40
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
-
A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 211,23
Spedizione EUR 14,70
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. hardback/cd-rom edition. 608 pages. 9.00x6.50x1.50 inches. In Stock.
-
Paperback. Condizione: new. New Copy. Customer Service Guaranteed.
-
![Immagine dell'editore per COLLE WORK LARRY WOS (2V) [W/ CD] venduto da Romtrade Corp.](https://pictures.abebooks.com/isbn/9789810240011-it-300.jpg)
COLLE WORK LARRY WOS (2V) [W/ CD]
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810240015 ISBN 13: 9789810240011
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Automated Reasoning and the Discovery of Missing and Elegant Proofs
Da: Peak Pearl LLC, Holly Springs, NC, U.S.A.
Valutazione del venditore 3 su 5 stelle
Condizione: As New. Like new, never been used.
-
JOURNAL of AUTOMATED REASONING; Vol. 7, No. 1 1991.
Editore: KLUWER ACADEMIC PUBLISHERS, * * * * *, 1991
Da: L. Michael, North Hollywood, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: Fine. Vol. 7, No. 1. 1991 B00k: Fine/, Almost As New/, (illustratore). B00k: Fine/, Almost As New/, $135.43 J0URNAL of AUT0MATED REAS0NING; Vol. 7, No. 1 1991. KLUWER ACADEMIC PUBLISHERS 1991 Yellow Spine With Title In Black Letters, Medium To Small Soft Cover B00k: Fine/, Almost As New/, Slight Edge Ware From Shelf Ware, 167 Pages That Are UnOpened And UnRead. Some Of The Contributors To The Articles Are As Follows, Donald W Loveland, Peter Padawitz, Larry Wos, Matt Kaufmann, Shang-Ching Chou, Deepak Kapur, Rick Stevens, Joseph Mundy, Guy E. Blelloch, M. E. Stickel And Timothy Stokes. SYNOPSIS: The Journal of Automated Reasoning was established in 1983 by Larry Wos who was its editor in chief until 1992.[1] It covers research and advances in automated reasoning ? mechanical verification of theorems and other deductions in classical and non-classical logic.[2] The journal is published by Springer Science+Business Media. As of 2010, the editor-in-chief is Tobias Nipkow. The journal's 2011 impact factor is 0.714, and it is indexed by several science indexing services, including the Science Citation Index Expanded and Scopus. = = Description Applies To This B00K, Only. Which Has A Special Significance, Is Hard To Find, Will Be Packaged And Shipped = Carefully, To Avoid Shipping Damage And Will Make It, An Excellent Addition To Your Own Personal Library Collection, Or As A Gift, For The Discriminating Reader / Collector. = WORLD WIDE SHIPPING, AVAILABLE. =.
-
Automated Reasoning: 33 Basic Research Problems
Da: book-link, Nufringen, BW, Germania
Valutazione del venditore 5 su 5 stelle
EUR 20,00
Spedizione EUR 49,90
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Sehr gut. 319 Seiten; *** Top Zustand! M25-06-J-05-VG Sprache: Deutsch Gewicht in Gramm: 500.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 142,60
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 153,75
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 149,02
Spedizione EUR 17,64
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Fascinating Country in the World of Computing : Your Guide to Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 152,08
Spedizione EUR 17,64
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
A Fascinating Country in the World of Computing
Lingua: Inglese
Editore: World Scientific Publishing Company, 2000
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 155,79
Spedizione EUR 14,09
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
-
EUR 130,83
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. KlappentextrnrnThis book shows you - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world s most powerful general-purpose reasoning prog.
-
EUR 135,65
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. FASCIN COUNT WORLD COMP [W/ CD] | Wos Larry | Buch | Gebunden | Englisch | 1999 | World Scientific | EAN 9789810239107 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
-
![Immagine del venditore per FASCIN COUNT WORLD COMP [W/ CD] venduto da AHA-BUCH GmbH](https://pictures.abebooks.com/inventory/md/md31135114022.jpg)
EUR 164,01
Spedizione EUR 65,10
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book shows you through examples and puzzles and intriguing questions how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program. The automation of reasoning has advanced markedly in the past few decades, and this book discusses some of the remarkable successes that automated reasoning programs have had in tackling challenging problems in mathematics, logic, program verification, and circuit design. Because the intended audience includes students and teachers, the book provides many exercises (with hints and also answers), as well as tutorial chapters that gently introduce readers to the field of logic and to automated reasoning in general. For more advanced researchers, the book presents challenging questions, many of which are still unsolved.
![Immagine del venditore per FASCIN COUNT WORLD COMP [W/ CD] venduto da preigu](https://pictures.abebooks.com/inventory/md/md32324692830.jpg)