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.
EUR 23,29
EUR 4,36 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 40,81
EUR 2,00 gastos de envío desde Irlanda 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: Volume 127
Publicado por
Center for the Study of Language and Informat, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Antiguo o usado
Paperback
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.68. Nº de ref. del artículo: G1575863243I3N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical reasoning with diagrams : from intuition to automation
Publicado por
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Antiguo o usado
Tapa blanda
Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, Holanda
Calificación del vendedor: 4 de 5 estrellas
Condición: as new. Stanford, Calif.: CSLI, 2001. Paperback. 204 pp. English text. Condition : as new.Includes bibliographical references (p. 190-198) and index. - 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. Condition : as new copy. ISBN 9781575863245. Keywords : , Nº de ref. del artículo: 274453
Cantidad disponible: 1 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams - From Intuition to Automation: Volume 127 (Lecture Notes)
Publicado por
Center for the Study of Language and Information, 2002
ISBN 10: 1575863243
ISBN 13: 9781575863245
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2002. Illustrated. Paperback. . . . . . Nº de ref. del artículo: V9781575863245
Cantidad disponible: 15 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams ? From Intuition to Automation: Volume 127 (Lecture Notes)
Publicado por
Center for the Study of Language and Information, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Nuevo
Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781575863245
Cantidad disponible: 15 disponibles
Imagen del vendedor
MATHEMATICAL REASONING W/DIAGR
Publicado por
CTR FOR STUDY OF LANG & INFO, 2002
ISBN 10: 1575863243
ISBN 13: 9781575863245
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
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: 867691401
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams Format: Paperback
Publicado por
University of Chicago press, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Nuevo
Tapa blanda
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: 9781575863245
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Mathematical Reasoning with Diagrams (Volume 127) (Lecture Notes)
Publicado por
Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243
ISBN 13: 9781575863245
Nuevo
Paperback
Librería: BennettBooksLtd, North Las Vegas, NV, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-1575863243
Cantidad disponible: 1 disponibles