Order Total (1 Item Items):
Shipping Destination:
Asperti, Andrea (43 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (43)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (20)
- Not Print on Demand (36)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
US$ 60.50
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.16
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 60.88
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 59.54
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Mathematical Knowledge Management.
Published by Berlin Springer Verlag, 2003
ISBN 10: 3540005684 ISBN 13: 9783540005681
Language: English
US$ 32.50
Convert currencyUS$ 40.60 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketSoftcover. Condition: Gut. Gebraucht - Gut Verlagsmängelex., X, 225 p. Also available online This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.
-
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (FOUNDATIONS OF COMPUTING SERIES)
Seller: Corner of a Foreign Field, Tokyo, TOKYO, Japan
Seller rating 4 out of 5 stars
First Edition
US$ 60.00
Convert currencyUS$ 12.00 shipping from Japan to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Very Good. No Jacket. 1st Edition. 1991.Hardcover.Very good condition.307 pages.Ships from Japan.Usually ships in 1-2 working days.
-
Condition: New. pp. 240.
-
Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science, 2594)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.90
Convert currencyUS$ 16.23 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science, 3119)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.90
Convert currencyUS$ 16.23 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Fine. 320 pp., Hardcover, NEW!! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.88
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Mathematical Knowledge Management : Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.88
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Mathematical Knowledge Management : Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540005684 ISBN 13: 9783540005681
Language: English
US$ 63.90
Convert currencyUS$ 34.62 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of theSecondInternationalConferenceon MathematicalKnowledgeManagement (MKM 2003), held 16 18 February 2003 in Bertinoro, Italy. Mathematical Knowledge Management is an exciting new eld at the int- section between mathematics and computer science. We need e cient, new te- niques, based on sophisticated formal mathematics and software technology, to exploit the enormous knowledge available in current mathematical sources and to organize mathematical knowledge in a new way. On the other side, due to its verynature,therealmofmathematicalinformationlookslikethebestcand idate for testing innovative theoretical and technological solutions for content-based systems, interoperability, management of machine-understandable information, and the Semantic Web. The organizers are grateful to Dana Scott and Massimo Marchiori for agr- ing to give invited talks at MKM 2003. November 2002 AndreaAsperti BrunoBuchberger JamesDavenport Conference Organization Andrea Asperti (Program Chair) Luca Padovani (Organizing Chair) Program Commitee A. Asperti (Bologna) P. D. F. Ion (Michigan) B. Buchberger (RISC Linz) Z. Luo (Durham) J. Caldwell (Wyoming) R. Nederpelt (Eindhoven) O. Caprotti (RISC Linz) M. Sofroniou (Wolfram Research Inc. ) J. Davenport (Bath) N. Soi er (Wolfram Research Inc. ) W. M. Farmer (McMaster Univ. ) M. Suzuki (Kyushu) H. Geuvers (Nijmegen) N. Takayama (Kobe) T. Hardin (Paris 6) A. Trybulec (Bialystok) M. Hazewinkel (CWI Amsterdam) S. M. Watt (UWO) M. Kohlhase (CMU) B. Wegner (Berlin) Invited Speakers Massimo Marchiori (W3C, University of Venezia) Dana Scott (CMU) Additional Referees G. Bancerek R. Gamboa G. Jojgov P. Callaghan B. Han V. Prevosto D. Doligez Table of Contents Regular Contributions Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .
-
Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Published by Springer Berlin Heidelberg, 2004
ISBN 10: 3540230297 ISBN 13: 9783540230298
Language: English
US$ 63.90
Convert currencyUS$ 36.04 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheInternationalConferenceonMathematicalKnowledgeManagementhasnow reached its third edition, creating and establishing an original and stimulating scienti ccommunitytransversaltomanydi erent eldsandresearchtopics. The broad goal of MKM is the exploration of innovative, semantically enriched, d- ital encodings of mathematical information, and the study of new services and tools exploiting the machine-understandable nature of the information. MKM is naturally located in the border area between digital libraries and the mec- nization of mathematics, devoting a particular interest to the new developments in information technology, and fostering their application to the realm of ma- ematical information. The conference is meant to be a forum for presenting, discussing and comparing new tools and systems, standardization e orts, cri- calsurveys,largeexperiments,andcasestudies. Atpresent,wearestillgettingto knoweachother,tounderstandtheworkdonebyotherpeople,andthepotenti- ities o ered by their work to our own research activity. However, the conference is rapidly acquiring scienti c strength and academic interest, attracting more and more people and research groups, and o ering a challenging alternative to older, more conservative conferences. July 2004 Andrea Asperti Grzegorz Bancerek Andrzej Trybulec Organization MKM 2004 was organized by the Institute of Computer Science, University of Bia lystokinco-operationwiththeFacultyofComputerScience,Bia lystokTe- nical University and the Association of Mizar Users. Program Committee Andrzej Trybulec (Chair) University of Bia lystok, Poland Andrew A. Adams University of Reading, UK Andrea Asperti University of Bologna, Italy Bruno Buchberger RISC Linz, Austria Roy McCasland University of Edinburgh, UK James Davenport University of Bath, UK William M.
-
Optimal Implementation of Functional Programming Languages
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
US$ 115.83
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
US$ 114.49
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Mathematical Knowledge Management
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2003, 2003
ISBN 10: 3540005684 ISBN 13: 9783540005681
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 63.90
Convert currencyUS$ 63.79 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -Digitisation,Representation,andFormalisation (DigitalLibrariesofMathematics) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Andrew A. Adams MKMfromBooktoComputer:ACaseStudy . . . . . . . . . . . . . . . . . . . . . . .Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
-
Mathematical Knowledge Management
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10: 3540230297 ISBN 13: 9783540230298
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
US$ 63.90
Convert currencyUS$ 63.79 shipping from Germany to U.S.A.Quantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -University of Bath, UK William M.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch.
-
US$ 111.78
Convert currencyUS$ 20.98 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Optimal Implementation of Functional Programming Languages
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
US$ 130.22
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 121.70
Convert currencyUS$ 16.23 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Optimal Implementation of Functional Programming Languages
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 121.69
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Optimal Implementation of Functional Programming Languages
Published by Cambridge University Press, 1999
ISBN 10: 0521621127 ISBN 13: 9780521621120
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 134.76
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Mathematical Knowledge Management : Second International Conference Mkm 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 139.50
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 128.36
Convert currencyUS$ 33.86 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
US$ 159.57
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 149.27
Convert currencyUS$ 20.32 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 138.12
Convert currencyUS$ 33.86 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
