10% de desconto
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, junho de 2005 ‧
156,82€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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.

Rippling: Meta-Level Guidance For Mathematical Reasoning

de Dieter Hutter, Andrew (Heriot-Watt University, Edinburgh) Ireland, David (Eth Zentrum, Switzerland) Basin e Alan (University Of Edinburgh) Bundy

Propriedade Descrição
ISBN: 9780521834490
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: junho de 2005
Idioma: Inglês
Encadernação: Capa dura
Páginas: 216
Tipo de produto: Livro
Coleção: Cambridge Tracts In Theoretical Computer Science
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780521834490