Del 9781
Diagrammatic Representation and Inference
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
Häftad, 2016
969 kr
Del i serien Lecture Notes
Mathematical Reasoning with Diagrams
Inbunden, Engelska, 2001
729 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)
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
Diagrammatic Representation and Inference
Ashok K Goel, Mateja Jamnik, N Hari Narayanan
Häftad, 2010
749 kr
Hoppa över listan
Mer från samma serie
Del 2
Idiomatic Expressions and Grammatical Constructions
Paul Kay, Laura A. Michaelis, Ivan A. Sag, Dan Flickinger, Laura A. Michaelis, Ivan A. Sag
Häftad, 2025
409 kr
Del 1
Del 74
Del 84
Hoppa över listan
Du kanske också är intresserad av
Del 9781
Diagrammatic Representation and Inference
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
Häftad, 2016
969 kr
Diagrammatic Representation and Inference
Ashok K Goel, Mateja Jamnik, N Hari Narayanan
Häftad, 2010
749 kr
Del 3
- Nyhet
Del 11
Del 1
- Nyhet
Del 4
- Nyhet
Del 2
- Nyhet
Del 6