Articoli correlati a Mathematical Reasoning With Diagrams: From Intuition...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreStanford Univ Center for the Study
- Data di pubblicazione2001
- ISBN 10 1575863235
- ISBN 13 9781575863238
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine204
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 14,91
EUR 21,10 per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Mathematical Reasoning With Diagrams: From Intuition...
Foto dell'editore
Mathematical Reasoning with Diagrams
Editore:
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuovo
Rilegato
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. 200 pp., Hardcover, new. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB1272392
Quantità: 1 disponibili
Immagini fornite dal venditore
MATHEMATICAL REASONING W/DIAGR
Editore:
CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuovo
Rilegato
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. 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. Codice articolo 867691400
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Reasoning with Diagrams Format: Hardcover
Editore:
University of Chicago press, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuovo
Rilegato
Da: INDOO, Avenel, NJ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New. Codice articolo 9781575863238
Quantità: Più di 20 disponibili
Foto dell'editore
Mathematical Reasoning with Diagrams
Editore:
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuovo
Rilegato
Da: dsmbooks, Liverpool, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: New. New. book. Codice articolo D8S0-3-M-1575863235-6
Quantità: 1 disponibili