• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Mathematical Reasoning with Diagrams

    AvMateja Jamnik

    Inbunden, Engelska, 2001

    Del i serien Lecture Notes

    540 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Fler format och utgåvor

    Häftad

    228 kr

    Beskrivning

    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

    • Utgivningsdatum:2001-11-01
    • Mått:15 x 23 x 2 mm
    • Vikt:425 g
    • Format:Inbunden
    • Språk:Engelska
    • Serie:Lecture Notes
    • Antal sidor:200
    • Förlag:Centre for the Study of Language & Information
    • ISBN:9781575863238

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    Hoppa över listan

    Mer från samma författare

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz - Diagrammatic Representation and Inference, Häftad
    Del 9781

    Diagrammatic Representation and Inference

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    Häftad, 2016

    726 kr

    Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik - Diagrammatic Representation and Inference, E-bok

    Diagrammatic Representation and Inference

    Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik

    E-bok
    2016

    868 kr

    Ashok K Goel, Mateja Jamnik, N Hari Narayanan - Diagrammatic Representation and Inference, Häftad

    Diagrammatic Representation and Inference

    Ashok K Goel, Mateja Jamnik, N Hari Narayanan

    Häftad, 2010

    560 kr

    N Hari Narayanan, Mateja Jamnik, Ashok K Goel - Diagrammatic Representation and Inference, E-bok

    Diagrammatic Representation and Inference

    N Hari Narayanan, Mateja Jamnik, Ashok K Goel

    E-bok
    2010

    710 kr

    Hoppa över listan

    Mer från samma serie

    Amir H. Sam, Karim Meeran, Neil Hill - Endocrinology and Diabetes, Häftad

    Endocrinology and Diabetes

    Amir H. Sam, Karim Meeran, Neil Hill

    Häftad, 2023

    427 kr

    Nick Beeching, Geoff Gill - Tropical Medicine, Häftad

    Tropical Medicine

    Nick Beeching, Geoff Gill

    Häftad, 2014

    5,0 utav 5 stjärnor. Totalt antal röster:(1)

    456 kr

    Johan van Benthem - Logic, Information and Agency, Häftad

    Logic, Information and Agency

    Johan van Benthem

    Häftad, 2025

    303 kr

    Paul Kay, Laura A. Michaelis, Ivan A. Sag, Dan Flickinger, Laura A. Michaelis, Ivan A. Sag - Idiomatic Expressions and Grammatical Constructions, Häftad

    Idiomatic Expressions and Grammatical Constructions

    Paul Kay, Laura A. Michaelis, Ivan A. Sag, Dan Flickinger, Laura A. Michaelis, Ivan A. Sag

    Häftad, 2025

    303 kr

    Robert Geroch - General Relativity, Häftad
    Del 2

    General Relativity

    Robert Geroch

    Häftad, 2013

    207 kr

    Robert Geroch - Quantum Field Theory, Häftad
    Del 1

    Quantum Field Theory

    Robert Geroch

    Häftad, 2013

    199 kr

    Lionel Ginsberg - Neurology, E-bok
    Del 70

    Neurology

    Lionel Ginsberg

    E-bok
    2011

    585 kr

    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

    462 kr

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

    Immunology

    Ian Todd, Gavin P. Spickett, Lucy Fairclough

    Häftad, 2015

    5,0 utav 5 stjärnor. Totalt antal röster:(1)

    456 kr

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

    Urology

    Amir V. Kaisary, Andrew Ballaro, Katharine Pigott

    Häftad, 2016

    491 kr

    Hoppa över listan

    Du kanske också är intresserad av

    Mateja Jamnik - Mathematical Reasoning with Diagrams, Häftad

    Mathematical Reasoning with Diagrams

    Mateja Jamnik

    Häftad, 2001

    228 kr

    Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik - Diagrammatic Representation and Inference, E-bok

    Diagrammatic Representation and Inference

    Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik

    E-bok
    2016

    868 kr

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz - Diagrammatic Representation and Inference, Häftad
    Del 9781

    Diagrammatic Representation and Inference

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    Häftad, 2016

    726 kr

    N Hari Narayanan, Mateja Jamnik, Ashok K Goel - Diagrammatic Representation and Inference, E-bok

    Diagrammatic Representation and Inference

    N Hari Narayanan, Mateja Jamnik, Ashok K Goel

    E-bok
    2010

    710 kr

    Ashok K Goel, Mateja Jamnik, N Hari Narayanan - Diagrammatic Representation and Inference, Häftad

    Diagrammatic Representation and Inference

    Ashok K Goel, Mateja Jamnik, N Hari Narayanan

    Häftad, 2010

    560 kr

    Carola Häggkvist - SIGNERAD - Jag är Carola, Inbunden
    • Signerad!

    SIGNERAD - Jag är Carola

    Carola Häggkvist

    Inbunden, 2026

    269 kr

    Jonas Gardell - Torka aldrig tårar utan handskar, Inbunden
    • Nyhet

    Torka aldrig tårar utan handskar

    Jonas Gardell

    Inbunden, 2026

    285 kr

    Mats Ahlstedt, Veronica Ahlstedt McCleave - Visselblåsaren, Pocket
    • -51%
    Del 1

    Visselblåsaren

    Mats Ahlstedt, Veronica Ahlstedt McCleave

    Pocket, 2025

    3,5 utav 5 stjärnor. Totalt antal röster:(2)

    49 kr99 kr

    Viktor Banke - Det som en gång var eld, Inbunden
    • Nyhet

    Det som en gång var eld

    Viktor Banke

    Inbunden, 2026

    259 kr

    Helena von Zweigbergk - Huvud klart och hjärta varmt, Inbunden
    • -24%

    Huvud klart och hjärta varmt

    Helena von Zweigbergk

    Inbunden, 2026

    189 kr249 kr