Artículos relacionados a Mathematical Reasoning with Diagrams: Volume 127 (Lecture...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCentre for the Study of Language & Information
- Año de publicación2001
- ISBN 10 1575863235
- ISBN 13 9781575863238
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas200
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 13,60
EUR 21,17 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Mathematical Reasoning with Diagrams: Volume 127 (Lecture...
Imagen de archivo
Mathematical Reasoning with Diagrams
Publicado por
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuevo
Tapa dura
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: ZB1272392
Cantidad disponible: 1 disponibles
Imagen del vendedor
MATHEMATICAL REASONING W/DIAGR
Publicado por
CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Gebunden. Condición: 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. Nº de ref. del artículo: 867691400
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams Format: Hardcover
Publicado por
University of Chicago press, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuevo
Tapa dura
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Brand New. Nº de ref. del artículo: 9781575863238
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams
Publicado por
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235
ISBN 13: 9781575863238
Nuevo
Tapa dura
Librería: dsmbooks, Liverpool, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. New. book. Nº de ref. del artículo: D8S0-3-M-1575863235-6
Cantidad disponible: 1 disponibles