Importo totale (1 articolo articoli):
Destinazione ordine:
rippling meta level guidance mathematical di bundy alan (10 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (10)
- 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
Legatura
- Tutte
- Rilegato (10)
- 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 (2)
- Non Print on Demand (7)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in Italia (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: Sequitur Books, Boonsboro, MD, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
EUR 13,40
Convertire valutaEUR 28,63 per la spedizione da U.S.A. a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Good. Hardcover. Good binding and cover. Library markings. Clean, unmarked pages.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning.
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 73,80
Convertire valutaEUR 9,95 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrellogebundene Ausgabe. Condizione: Sehr gut. Cambridge Tracts in Theoretical Computer Science, Band 56. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XIV, 202 Seiten, Englisch 468g.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: WYEMART LIMITED, HEREFORD, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 100,69
Convertire valutaEUR 9,63 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: New.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 141,20
Convertire valutaEUR 7,81 per la spedizione da U.S.A. a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 142,42
Convertire valutaEUR 10,50 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rippling : Meta-Level Guidance for Mathematical Reasoning
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
EUR 143,47
Convertire valutaEUR 14,99 per la spedizione da Germania a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 185,29
Convertire valutaEUR 11,68 per la spedizione da Regno Unito a ItaliaQuantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 145,23
Convertire valutaEUR 11,68 per la spedizione da Regno Unito a ItaliaQuantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 149,38
Convertire valutaEUR 9,96 per la spedizione da Regno Unito a ItaliaQuantità: Più di 20 disponibili
Aggiungi al carrelloHardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 505.
-
Rippling: Meta-Level Guidance for Mathematical Reasoning
Editore: Cambridge University Press, 2005
ISBN 10: 052183449X ISBN 13: 9780521834490
Lingua: Inglese
EUR 162,62
Convertire valutaEUR 9,70 per la spedizione da Germania a ItaliaQuantità: 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. The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique, systematic and comprehensive introduction to this .
