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 and to the wider subject of automated inductive theorem proving.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Sequitur Books is an independent academic bookstore. We pride ourselves on exceptional customer service, a thought provoking selection and extremely fast shipping. Our motto, For every person, a good book!

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Sequitur Books
MD, U.S.A.

Condizioni di vendita:

Refunds are given upon return of book within 14 days. If you are in any way unhappy with your purchase, please contact us and we will do our best to resolve the situation. Prices are as listed.

Condizioni di spedizione:

Unless specified, we ship via the United States Postal Service. Domestic expedited orders are shipped via priority mail. Standard orders are shipped via media mail.

International orders are shipped via air mail.

Overnight orders are shipped via Express mail.

Oversized, folio, and multi-volume sets may require additional shipping for international orders.

Metodi di pagamento
accettati dalla libreria