Markedets billigste bøger
Levering: 1 - 2 hverdage

Rippling: Meta-Level Guidance for Mathematical Reasoning

Bag om Rippling: Meta-Level Guidance for Mathematical Reasoning

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521834490
  • Indbinding:
  • Hardback
  • Sideantal:
  • 216
  • Udgivet:
  • 30. Juni 2005
  • Størrelse:
  • 158x237x19 mm.
  • Vægt:
  • 475 g.
  Gratis fragt
Leveringstid: 2-3 uger
Forventet levering: 2. Juli 2024

Beskrivelse af Rippling: Meta-Level Guidance for Mathematical Reasoning

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.

Brugerbedømmelser af Rippling: Meta-Level Guidance for Mathematical Reasoning



Find lignende bøger
Bogen Rippling: Meta-Level Guidance for Mathematical Reasoning findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.