Hoppa till sidans huvudinnehåll

Del i serien Lecture Notes

Mathematical Reasoning with Diagrams

Inbunden, Engelska, 2001

AvMateja Jamnik

709 kr

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

Finns i fler format (1)

Häftad

299 kr

Skickas inom 5-8 vardagar

Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system - called Diamond - which allows users to prove arithmetical theorems using diagrams.

Produktinformation

  • Utgivningsdatum2001-11-01
  • Mått15 x 23 x 2 mm
  • Vikt425 g
  • FormatInbunden
  • SpråkEngelska
  • SerieLecture Notes
  • Antal sidor200
  • FörlagCentre for the Study of Language & Information
  • ISBN9781575863238

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Gautam Gulati, Mary-Ellen Lynall, Kate E. A. Saunders - Psychiatry, Häftad
Del 74

Psychiatry

Gautam Gulati, Mary-Ellen Lynall, Kate E. A. Saunders

Häftad, 2013

579 kr

Ian Todd, Gavin P. Spickett, Lucy Fairclough - Immunology, Häftad

Immunology

Ian Todd, Gavin P. Spickett, Lucy Fairclough

Häftad, 2015

439 kr

Amir V. Kaisary, Andrew Ballaro, Katharine Pigott - Urology, Häftad
Del 84

Urology

Amir V. Kaisary, Andrew Ballaro, Katharine Pigott

Häftad, 2016

619 kr

Hoppa över listan

Du kanske också är intresserad av

Anders de la Motte, Anette de la Motte - Intrig i Amalfi, Pocket
  • Nyhet
Del 2

Intrig i Amalfi

Anders de la Motte, Anette de la Motte

Pocket, 2026

79 kr129 kr