799:-
Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.
Andra format:
- Pocket/Paperback 339:-
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.
- Format: Inbunden
- ISBN: 9781575863238
- Språk: Engelska
- Antal sidor: 200
- Utgivningsdatum: 2001-11-01
- Förlag: Centre for the Study of Language & Information