Hoppa till sidans huvudinnehåll

Del i serien Lecture Notes

Mathematical Reasoning with Diagrams

Inbunden, Engelska, 2001

AvMateja Jamnik

699 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

599 kr

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

Immunology

Ian Todd, Gavin P. Spickett, Lucy Fairclough

Häftad, 2015

459 kr

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

Urology

Amir V. Kaisary, Andrew Ballaro, Katharine Pigott

Häftad, 2016

639 kr

Hoppa över listan

Du kanske också är intresserad av