Rippling: Meta-Level Guidance for Mathematical Reasoning

Inbunden, Engelska, 2005

Av Alan Bundy, David Basin, Dieter Hutter

1 969 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

  • Utgivningsdatum2005-06-30
  • Mått157 x 235 x 16 mm
  • Vikt473 g
  • FormatInbunden
  • SpråkEngelska
  • Antal sidor216
  • FörlagCambridge University Press
  • ISBN9780521834490

Tillhör följande kategorier

Mer från samma författare

Automated Deduction — CADE-12

Automated Deduction — CADE-12

Alan Bundy

739 kr

Artificial Intelligence Techniques

Artificial Intelligence Techniques

Alan Bundy

719 kr

Catalogue of Artificial Intelligence Techniques

Catalogue of Artificial Intelligence Techniques

Alan Bundy, Alan Bundy

1 419 kr

Du kanske också är intresserad av

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Dieter Hutter, Werner Stephan

1 459 kr

Artificial Intelligence Techniques

Artificial Intelligence Techniques

Alan Bundy

719 kr

Security in Pervasive Computing

Security in Pervasive Computing

Dieter Hutter, Markus Ullmann

739 kr

Security in Pervasive Computing
Del 2802

Security in Pervasive Computing

Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann

739 kr

Applied Formal Methods - FM-Trends 98
Del 1641

Applied Formal Methods - FM-Trends 98

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

739 kr

Catalogue of Artificial Intelligence Techniques

Catalogue of Artificial Intelligence Techniques

Alan Bundy, Alan Bundy

1 419 kr

Automated Deduction — CADE-12

Automated Deduction — CADE-12

Alan Bundy

739 kr

Labelled Deduction
Del 17

Labelled Deduction

Marcello D'Agostino, Dov M. Gabbay, David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò

1 419 kr

Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

919 kr

Applied Information Security

Applied Information Security

David Basin, Patrick Schaller, Michael Schläpfer, Michael Schlapfer

669 kr