Idioma: Inglés
Publicado por University of Chicago press, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: INDOO, Avenel, NJ, Estados Unidos de America
EUR 28,98
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
Idioma: Inglés
Publicado por Centre for the Study of Language and Information, US, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 31,69
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 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.
Idioma: Inglés
Publicado por Stanford Univ Center for the Study, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Revaluation Books, Exeter, Reino Unido
EUR 28,92
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock.
Idioma: Inglés
Publicado por Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Kloof Booksellers & Scientia Verlag, Amsterdam, Holanda
EUR 16,95
Cantidad disponible: 1 disponibles
Añadir al carritoCondició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 : ,
Idioma: Inglés
Publicado por Center for the Study of Language and Information, 2002
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 40,03
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 2002. Illustrated. Paperback. . . . . .
Idioma: Inglés
Publicado por Centre for the Study of Language & Information, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
EUR 38,04
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days.
Idioma: Inglés
Publicado por Center for the Study of Language and Information, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 49,74
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland.
Idioma: Inglés
Publicado por University of Chicago press, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Librería: INDOO, Avenel, NJ, Estados Unidos de America
EUR 60,72
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
EUR 64,71
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. The 6th International Conference on the Theory and Application of Diagrams Diagrams 2010 was held in Portland, USA in August 2010. Diagrams is an international and interdisciplinary conference series, which continues to present the very best work in all aspects of research on the theory and application of diagrams. Some key questions that researchers are tackling concern gaining an insight into how diagrams are used, how they are rep- sented, which types are available and when it is appropriate to use them. The use of diagrammatic notations is studied for a variety of purposes including communication, cognition, creative thought, computation and problem-solving. Clearly, this must be pursued as an interdisciplinary endeavor, and Diagrams is the only conference series that provides such a united forum for all areas that are concerned with the study of diagrams: for example, architecture, arti?cial intelligence,cartography,cognitivescience,computer science,education,graphic design, history of science, humancomputer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re?ect this variety and interdisciplinarity of the ?eld. The 6th International Conference on the Theory and Application of Diagrams Diagrams 2010 was held in Portland, USA in August 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,38
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 62,87
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 66,43
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Buchmarie, Darmstadt, Alemania
EUR 27,03
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 77,38
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 72,03
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 69,27
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 72,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 84,71
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. In shrink wrap. Looks like an interesting title!
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Librería: Revaluation Books, Exeter, Reino Unido
EUR 80,10
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 79,67
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 85,05
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 98,66
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 301.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2016
ISBN 10: 3319423320 ISBN 13: 9783319423326
Librería: Revaluation Books, Exeter, Reino Unido
EUR 99,20
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 324 pages. 9.25x6.10x0.79 inches. In Stock.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Librería: moluna, Greven, Alemania
EUR 61,80
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Centre for the Study of Language and Information, US, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Librería: Rarewaves.com UK, London, Reino Unido
EUR 37,73
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 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.
Idioma: Inglés
Publicado por Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 108,26
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Buchpark, Trebbin, Alemania
EUR 26,34
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Idioma: Inglés
Publicado por Springer International Publishing, 2016
ISBN 10: 3319423320 ISBN 13: 9783319423326
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016.The 12 revised full papers and 11 short papers presented together with 5posters were carefully reviewed and selected from 48 submissions. Thepapers are organized in the following topical sections: cognitive aspects of diagrams; logic and diagrams; Euler and Venn diagrams; diagrams and education; design principles for diagrams; diagrams layout.
Idioma: Inglés
Publicado por CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Librería: moluna, Greven, Alemania
EUR 82,93
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondició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.
Librería: preigu, Osnabrück, Alemania
EUR 63,80
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Diagrammatic Representation and Inference | 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings | Mateja Jamnik (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2016 | Springer | EAN 9783319423326 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.