Jamnik mateja (44 risultati)
Lingua: Inglese
Editore: CSLI Publications/Center for the Study of Language & Information, 2001
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 23,82
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Brossura
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 28,81
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Brand New.
Lingua: Inglese
Editore: Centre for the Study of Language and Information, US, 2001
- Brossura
Da: Rarewaves.com USA, London, LONDO, Regno UnitoRarewaves.com USA
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 31,82
Spedizione gratuitaSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 t…o prove arithmetical theorems using diagrams.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 29,08
EUR 11,69 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 200 pages. 8.75x6.00x0.50 inches. In Stock.
- Brossura
Da: Kloof Booksellers & Scientia Verlag, Amsterdam, Paesi BassiKloof Booksellers & Scientia Verlag
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 16,95
EUR 30,00 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: 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 diagramm…atic 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 : .
Lingua: Inglese
Editore: Center for the Study of Language and Information, 2002
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,03
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: New. 2002. Illustrated. Paperback. . . . . .
Lingua: Inglese
Editore: Centre for the Study of Language & Information, 2001
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,01
EUR 16,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Lingua: Inglese
Editore: Center for the Study of Language and Information, 2001
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 49,45
EUR 8,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. 2002. Illustrated. Paperback. . . . . . Books ship from the US and Ireland.
- Rilegato
Da: INDOO, Avenel, NJ, U.S.A.INDOO
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,37
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,44
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,78
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 62,71
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Centre for the Study of Language and Information, 2001
- Rilegato
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,94
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,41
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Centre for the Study of Language and Information, 2001
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,59
EUR 4,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 65,82
EUR 11,69 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 1st edition. 200 pages. 9.25x6.25x0.75 inches. In Stock.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 77,14
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,29
EUR 8,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,84
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 1 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,49
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 70,16
EUR 18,11 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
- Brossura
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 84,22
EUR 5,95 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. In shrink wrap. Looks like an interesting title.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 73,14
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,69
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 356 pages. 9.00x6.00x0.75 inches. In Stock.
Lingua: Inglese
Editore: Centre for the Study of Language & Information, 2001
- Rilegato
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,01
EUR 17,73 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardback. Condizione: New. New copy - Usually dispatched within 4 working days.
Diagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (EDT); Uesaka, Yuri (EDT); Schwartz, Stephanie Elzer (EDT)
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 80,64
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,74
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 98,73
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 301.
Lingua: Inglese
Editore: Centre for the Study of Language and Information, US, 2001
- Brossura
Da: Rarewaves.com UK, London, Regno UnitoRarewaves.com UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 35,01
EUR 75,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: 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 t…o prove arithmetical theorems using diagrams.
Diagrammatic Representation and Inference: 9th International Conference, Diagrams 2016, Proceedings
Jamnik, Mateja (Editor)/ Uesaka, Yuri (Editor)/ Schwartz, Stephanie Elzer (Editor)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,67
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 324 pages. 9.25x6.10x0.79 inches. In Stock.
