Mateja Jamnik (38 results)
- Softcover
Seller: INDOO, Avenel, U.S.A.INDOO
Contact seller5-star sellerCondition: New
US$ 32.66
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand New.
Language: English
Published by Centre for the Study of Language and Information, US 2001
- Softcover
Seller: Rarewaves.com USA, London, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 35.71
Free ShippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 33.48
US$ 13.45 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock.
Language: English
Published by Center for the Study of Language and Inf 2001
- Softcover
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, NetherlandsKloof Booksellers & Scientia Verlag
Contact seller4-star sellerCondition: Used - As new
US$ 20.32
US$ 34.91 shippingShips from Netherlands to U.S.A.Quantity: 1 available
Condition: 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 diagramma…tic 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 : .
Language: English
Published by Center for the Study of Language and Information 2002
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 47.98
US$ 12.22 shippingShips from Ireland to U.S.A.Quantity: 1 available
Condition: New. 2002. Illustrated. Paperback. . . . . .
Language: English
Published by Centre for the Study of Language & Information 2001
- Softcover
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 44.35
US$ 18.98 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days.
Language: English
Published by Center for the Study of Language and Information 2001
- Softcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 56.05
US$ 10.50 shippingShips within U.S.A.Quantity: 1 available
Condition: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland.
- Hardcover
Seller: INDOO, Avenel, U.S.A.INDOO
Contact seller5-star sellerCondition: New
US$ 68.43
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New. Brand New.
Diagrammatic Representation and Inference : 6th International Conference, Diagrams 2010 Portland, Or, USA, August 9-11, 2010 Proceedings
Goel, Ashok K. (EDT); Jamnik, Mateja (EDT); Narayanan, N. Hari (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 70.25
US$ 2.64 shippingShips within U.S.A.Quantity: 3 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin 2010
- Softcover
Seller: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 72.90
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: 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
Goel, Ashok K. (EDT); Jamnik, Mateja (EDT); Narayanan, N. Hari (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 70.84
US$ 2.64 shippingShips within U.S.A.Quantity: 3 available
Condition: As New. Unread book in perfect condition.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 75.06
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Buchmarie, Darmstadt, GermanyBuchmarie
Contact seller4-star sellerCondition: Used - Good
US$ 32.38
US$ 48.87 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Good.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 87.20
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 84.59
US$ 16.12 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 80.76
US$ 20.84 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 84.19
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Center for the Study of Language and Inf 2001
- Softcover
Seller: BennettBooksLtd, Los Angeles, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 95.46
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: New. In shrink wrap. Looks like an interesting title.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 93.07
US$ 16.82 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 92.88
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Center for the Study of Language and Inf 2001
- Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 101.94
US$ 12.22 shippingShips from Ireland to U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 111.17
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 301.
Language: English
Published by Centre for the Study of Language and Information, US 2001
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
US$ 40.38
US$ 87.46 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 74.07
US$ 57.01 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: New.
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (Editor)/ Uesaka, Yuri (Editor)/ Schwartz, Stephanie Elzer (Editor)
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 115.28
US$ 16.82 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 324 pages. 9.25x6.10x0.79 inches. In Stock.
Language: English
Published by Center for the Study of Language and Inf 2001
- Hardcover
Seller: Kennys Bookstore, Olney, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 122.00
US$ 10.50 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Fine
US$ 31.56
US$ 122.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 356 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Hardcover
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
US$ 99.40
US$ 57.01 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 83.35
US$ 72.69 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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 togeth…er 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 76.46
US$ 81.46 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.
