Hopp til hovedinnhold

Klikk her for å se avvik og utvikling i leveransene våre (sist oppdatert 2. september)

Placeholder image

Rippling: Meta-Level Guidance for Mathematical Reasoning

Bundy, Alan Hutter, Dieter Basin, David Ireland, Andrew

Cambridge Tracts in Theoretical Computer Science

|

Innbundet

I salg

Leveringstid: 7-30 dager

Handlinger

Beskrivelse

Omtale

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.

  • Utgivelsesdato:

    30.06.2005

  • ISBN/Varenr:

    9780521834490

  • Språk:

    , Engelsk

  • Forlag:

    Cambridge University Press

  • Fagtema:

    Matematikk og naturvitenskap

  • Litteraturtype:

    Faglitteratur

  • Sider:

    216

  • Høyde:

    23.7 cm

  • Bredde:

    15.8 cm

Andre bøker i samme serie

Syntax and Semantics of Petri Nets

Syntax and Semantics of Petri Nets
Gorrieri, Roberto
9781009613286 Cambridge Tracts in Theoretical Computer Science Innbundet
Engelsk

Forventes utgitt
Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors

Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors
Adamek, Jiri Milius, Stefan Moss, Lawrence S.
9781108835466 Cambridge Tracts in Theoretical Computer Science Innbundet
06.02.2025
Engelsk

Produseres på bestilling
Topological Duality for Distributive Lattices : Theory and Applications

Topological Duality for Distributive Lattices : Theory and Applications
Gehrke, Mai van Gool, Sam
9781009349697 Cambridge Tracts in Theoretical Computer Science Innbundet
07.03.2024
Engelsk

I salg
Finite-State Techniques : Automata, Transducers and Bimachines

Finite-State Techniques : Automata, Transducers and Bimachines
Schulz, Klaus U. Mihov, Stoyan
9781108485418 Cambridge Tracts in Theoretical Computer Science Innbundet
01.08.2019
Engelsk

I salg
Introduction to Coalgebra : Towards Mathematics of States and Observation

Introduction to Coalgebra : Towards Mathematics of States and Observation
Jacobs, Bart
9781107177895 Cambridge Tracts in Theoretical Computer Science Innbundet
27.10.2016
Engelsk

Produseres på bestilling
Temporal Logics in Computer Science : Finite-State Systems

Temporal Logics in Computer Science : Finite-State Systems
Lange, Martin Goranko, Valentin Demri, Stephane , Paris)
9781107028364 Cambridge Tracts in Theoretical Computer Science Innbundet
13.10.2016
Engelsk

Midlertidig utsolgt
Nominal Sets : Names and Symmetry in Computer Science

Nominal Sets : Names and Symmetry in Computer Science
Pitts, Andrew M.
9781107017788 Cambridge Tracts in Theoretical Computer Science Innbundet
30.05.2013
Engelsk

Produseres på bestilling
Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes
Baeten, J. C. M. Basten, T. Reniers, M. A.
9780521820493 Cambridge Tracts in Theoretical Computer Science Innbundet
16.12.2009
Engelsk

I salg
Term Rewriting Systems

Term Rewriting Systems
Terese
9780521391153 Cambridge Tracts in Theoretical Computer Science Innbundet
20.03.2003
Engelsk

Produseres på bestilling