Gesamtpreis (1 Artikel Artikel):
Versandziel:
mateja jamnik (14 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (14)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Mathematical Reasoning with Diagrams From Intuition to Automation
Sprache: Englisch
Verlag: Stanford Univ Center for the Study, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 28,73
EUR 11,55 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock.
-
Mathematical reasoning with diagrams : from intuition to automation
Sprache: Englisch
Verlag: Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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 : ,
-
Mathematical Reasoning with Diagrams ? From Intuition to Automation: Volume 127 (Lecture Notes)
Sprache: Englisch
Verlag: Center for the Study of Language and Information, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland.
-
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings (Lecture Notes in Computer Science, 6170, Band 6170)
Anbieter: Buchmarie, Darmstadt, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: Good.
-
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,60
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010 Portland, Or, USA, August 9-11, 2010 Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,80
EUR 14,44 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.
-
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319423320 ISBN 13: 9783319423326
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 98,82
EUR 14,44 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 324 pages. 9.25x6.10x0.79 inches. In Stock.
-
Diagrammatic Representation and Inference
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Zustand: New.
-
Mathematical Reasoning With Diagrams
Sprache: Englisch
Verlag: Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
MATHEMATICAL REASONING W/DIAGR
Sprache: Englisch
Verlag: CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
EUR 82,93
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
-
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319423320 ISBN 13: 9783319423326
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Taschenbuch. Zustand: 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.
-
Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - 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, human-computer interaction, linguistics, logic, ma- ematics, philosophy, psychology, and software modelling. The articles in this volume re ect this variety and interdisciplinarity of the eld.
