339:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 1089:-
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 systemcalled Diamondwhich allows users to prove arithmetical theorems using diagrams.
- Format: Pocket/Paperback
- ISBN: 9781575863245
- Språk: Engelska
- Antal sidor: 200
- Utgivningsdatum: 2001-11-01
- Förlag: Centre for the Study of Language & Information