Importo totale (1 articolo articoli):
Destinazione ordine:
9789810239107 - A Fascinating Country in the World of Computing: Your Guide to Automated Reasoning di Wos, Larry; Pieper, Gail W. (13 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (13)
- 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
- Nuovo (10)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (1)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (5)
- Brossura (Nessun altro risultato corrispondente a questo perfezionamento)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (6)
- Non Print on Demand (10)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
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.
-
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.
-
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,21
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.
-
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,58
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, A: Your Guide To Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
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 152,98
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, A: Your Guide To Automated Reasoning
Lingua: Inglese
Editore: World Scientific Publishing Company, 1999
ISBN 10: 9810239106 ISBN 13: 9789810239107
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 151,74
Spedizione EUR 7,95
Spedito da Regno Unito a U.S.A.Quantità: 15 disponibili
Aggiungi al carrelloUNK. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
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,01
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,03
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,78
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)