Hoppa till sidans huvudinnehåll

Del 0

Mathematical Reasoning with Diagrams

Häftad, Engelska, 2001

AvMateja Jamnik

289 kr

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

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 1 mm
  • Vikt312 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes
  • Antal sidor200
  • FörlagCentre for the Study of Language & Information
  • ISBN9781575863245

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Tropical Medicine

Nick Beeching, Geoff Gill, Nick (Liverpool School of Tropical Medicine) Beeching, Geoff (Liverpool School of Tropical Medicine) Gill

Häftad

539 kr

Del 74

Psychiatry

Gautam Gulati, Mary-Ellen Lynall, Kate E. A. Saunders, Gautam (University of Oxford and Oxford Health NHS Foundation Trust) Gulati, University of Oxford) Lynall, Mary-Ellen (Magdalen College and Somerville College, Oxford) Saunders, Kate E. A. (Warneford Hospital

Häftad

549 kr

Immunology

Ian Todd, Gavin P. Spickett, Lucy Fairclough, UK) Todd, Ian (Queen's Medical Centre, Nottingham, UK) Spickett, Gavin P. (Royal Victoria Infirmary, Newcastle upon Tyne, UK) Fairclough, Lucy (Queen's Medical Centre, Nottingham

Häftad

439 kr

Del 84

Urology

Amir V. Kaisary, Andrew Ballaro, Katharine Pigott, Amir V. (The Royal Free Hospital NHS Trust) Kaisary, Havering & Redbridge NHS Trust) Ballaro, Andrew (Barking, Katharine (The Royal Free Hospital NHS Trust) Pigott

Häftad

599 kr

Respiratory Medicine

Stephen J. Bourke, Graham P. Burns, UK) Bourke, Stephen J. (The Royal Victoria Infirmary, Newcastle, UK) Burns, Graham P. (The Royal Victoria Infirmary, Newcastle

Häftad

499 kr

Endocrinology and Diabetes

Amir H. Sam, Karim Meeran, Neil Hill, London) Sam, Amir H. (Royal Free and University College Medical School, University College London, Karim (Charing Cross and Hammersmith Hospitals) Meeran, UK) Hill, Neil (Imperial College Healthcare NHS Trust

Häftad

519 kr

Hoppa över listan

Du kanske också är intresserad av