Verwandte Artikel zu Mathematical Knowledge Management: Third International...
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science, 3119, Band 3119) - Softcover
Inhaltsangabe
University of Bath, UK William M.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
University of Bath, UK William M.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Mathematical Knowledge Management: Third International...
Beispielbild für diese ISBN
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science, 3119)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. I-9783540230298
Neu kaufen
EUR 62,87
EUR 2,69 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 3195290-n
Neu kaufen
EUR 62,07
EUR 17,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Copyright Issues for MKM.- Efficient Retrieval of Mathematical Statements.- Formalizing Set Theory as it Is Actually Used.- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics.- Mathematical Service Matching Using Description Logic and OWL.- C-CoRN, the Constructive Coq Repository at Nijmegen.- Classifying Differential Equations on the Web.- Managing Heterogeneous Theories within a Mathematical Knowledge Repository.- Rough Concept Analysis - Theory Development in the Mizar System.- A Path to Faithful Formalizations of Mathematics.- Flexible Encoding of Mathematics on the Computer.- CPoint: Dissolving the Author's Dilemma.- On Diagrammatic Representation of Mathematical Knowledge.- Predicate Logic with Sequence Variables and Sequence Function Symbols.- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.- Theorem Proving and Proof Verification in the System SAD.- Adaptive Access to a Proof Planner.- Modeling Interactivity for Mathematics Learning by Demonstration.- Extraction of Logical Structure from Articles in Mathematics.- Improving Mizar Texts with Properties and Requirements.- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.- Intuitive and Formal Representations: The Case of Matrices.- Mathematical Libraries as Proof Assistant Environments.- Efficient Ambiguous Parsing of Mathematical Formulae.- An Architecture for Distributed Mathematical Web Services.- The Categorial Type of OpenMath Objects. Artikel-Nr. 9783540230298
Neu kaufen
EUR 66,40
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Mathematical Knowledge Management | Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Mathematical Knowledge Management | Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings | Andrea Asperti (u. a.) | Taschenbuch | x | Englisch | 2004 | Springer | EAN 9783540230298 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 102442631
Neu kaufen
EUR 50,45
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Mathematical Knowledge Management : Third International Conference, MKM 2004 Bialowieza, Poland, September 19-21, 2004 Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Artikel-Nr. 3195290
Gebraucht kaufen
EUR 149,36
EUR 17,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar