M jamnik (1 risultati)

- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 37,55
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: New. KlappentextMathematicians 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 off.