Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

av Alan (University of Edinburgh) Bundy

del av Cambridge Tracts in Theoretical Computer Science-serien

Rippling: Meta-Level Guidance for Mathematical Reasoning av Alan (University of Edinburgh) Bundy
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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9780521834490
  • Format:
  • Inbunden
  • Sidor:
  • 216
  • Utgiven:
  • 30. juni 2005
  • Mått:
  • 158x237x19 mm.
  • Vikt:
  • 475 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 10. december 2024

Om Alan (University of Edinburgh) Bundy

Se alla böcker av Alan (University of Edinburgh) Bundy

Beskrivning av 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.

Användarnas betyg av Rippling: Meta-Level Guidance for Mathematical Reasoning



Andra köpte även...
Hitta liknande böcker
Boken Rippling: Meta-Level Guidance for Mathematical Reasoning finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.