Del 9781
Diagrammatic Representation and Inference
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
Häftad, 2016
727 kr
Mathematical Reasoning with Diagrams
542 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
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
Utforska kategorier
Hoppa över listan
Mer från samma författare
Diagrammatic Representation and Inference
Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik
E-bok
2016840 kr
Diagrammatic Representation and Inference
Ashok K Goel, Mateja Jamnik, N Hari Narayanan
Häftad, 2010
561 kr
Diagrammatic Representation and Inference
N Hari Narayanan, Mateja Jamnik, Ashok K Goel
E-bok
2010687 kr
Hoppa över listan
Mer från samma serie
Idiomatic Expressions and Grammatical Constructions
Paul Kay, Laura A. Michaelis, Ivan A. Sag, Dan Flickinger, Laura A. Michaelis, Ivan A. Sag
Häftad, 2025
304 kr
Del 2
Del 1
Del 70
Del 74
Del 84
Hoppa över listan
Du kanske också är intresserad av
Diagrammatic Representation and Inference
Stephanie Elzer Schwartz, Yuri Uesaka, Mateja Jamnik
E-bok
2016840 kr
Del 9781
Diagrammatic Representation and Inference
Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz
Häftad, 2016
727 kr
Diagrammatic Representation and Inference
N Hari Narayanan, Mateja Jamnik, Ashok K Goel
E-bok
2010687 kr
Diagrammatic Representation and Inference
Ashok K Goel, Mateja Jamnik, N Hari Narayanan
Häftad, 2010
561 kr
- -19%
- 4 för 3
- -23%
- Signerad!
Del 4
- 10% rabatt på allt
Del 2