Gesamtpreis (1 Artikel Artikel):
Versandziel:
jamnik mateja (38 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (38)
- 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 (32)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- 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 (13)
- Keine Print-on-Demand Angebote (32)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Mathematical Reasoning with Diagrams Format: Paperback
Sprache: Englisch
Verlag: University of Chicago press, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Zustand: New. Brand New.
-
Mathematical Reasoning with Diagrams
Sprache: Englisch
Verlag: Centre for the Study of Language and Information, US, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,61
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
-
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,86
EUR 11,60 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, 2002
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2002. Illustrated. Paperback. . . . . .
-
Mathematical Reasoning with Diagrams: From Intuition to Automation
Sprache: Englisch
Verlag: Centre for the Study of Language & Information, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 38,23
EUR 16,36 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. New copy - Usually dispatched within 4 working days.
-
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.
-
Mathematical Reasoning with Diagrams Format: Hardcover
Sprache: Englisch
Verlag: University of Chicago press, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Zustand: New. Brand New.
-
Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010 Portland, Or, USA, August 9-11, 2010 Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Diagrammatic Representation and Inference (Paperback)
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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.
-
Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010 Portland, Or, USA, August 9-11, 2010 Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
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, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
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,92
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016, Proceedings (Lecture Notes in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,61
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,37
EUR 17,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Mathematical Reasoning with Diagrams (Volume 127) (Lecture Notes)
Sprache: Englisch
Verlag: Center for the Study of Language and Inf, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
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 80,22
EUR 14,50 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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 80,06
EUR 17,40 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Mathematical Reasoning With Diagrams
Sprache: Englisch
Verlag: Center for the Study of Language and Inf, 2001
ISBN 10: 1575863235 ISBN 13: 9781575863238
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
-
Mathematical Reasoning with Diagrams
Sprache: Englisch
Verlag: Centre for the Study of Language and Information, US, 2001
ISBN 10: 1575863243 ISBN 13: 9781575863245
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 34,81
EUR 75,39 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: 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.
-
Diagrammatic Representation and Inference
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 364214599X ISBN 13: 9783642145995
Zustand: New.
-
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 99,37
EUR 14,50 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.
-
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.
