2005, ISBN: 9783540314318
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15â??17, 2005 at - ternational University Bremen, Germa… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2005, ISBN: 9783540314318
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2005, ISBN: 9783540314318
Mathematical Knowledge Management:4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers Mathematical Knowledge Management:4th International Co… Mehr…
Hugendubel.de No. 25407568 Versandkosten:zzgl. Versandkosten Details... |
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - neues Buch
2005, ISBN: 9783540314318
; PDF \ Sabine Begall; Computing, Springer Berlin Heidelberg
hive.co.uk No. 9783540314318 Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten Details... |
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - neues Buch
2005, ISBN: 9783540314318
; PDF; Computing, Springer Berlin Heidelberg
hive.co.uk No. 9783540314318. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2005, ISBN: 9783540314318
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15â??17, 2005 at - ternational University Bremen, Germa… Mehr…
2005, ISBN: 9783540314318
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany… Mehr…
2005
ISBN: 9783540314318
Mathematical Knowledge Management:4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers Mathematical Knowledge Management:4th International Co… Mehr…
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - neues Buch
2005, ISBN: 9783540314318
; PDF \ Sabine Begall; Computing, Springer Berlin Heidelberg
Mathematical Knowledge Management : 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers - neues Buch
2005, ISBN: 9783540314318
; PDF; Computing, Springer Berlin Heidelberg
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Knowledge Management
EAN (ISBN-13): 9783540314318
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2015-12-29T20:35:36+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-10T07:42:43+02:00 (Berlin)
ISBN/EAN: 9783540314318
ISBN - alternative Schreibweisen:
978-3-540-31431-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: bremen 1450 1850
Daten vom Verlag:
Autor/in: Michael Kohlhase
Titel: Lecture Notes in Artificial Intelligence; Lecture Notes in Computer Science; Mathematical Knowledge Management - 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Verlag: Springer; Springer Berlin
408 Seiten
Erscheinungsjahr: 2006-01-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 408 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Algebra; automated theorem proving; e-learning; equation; formal logic; formal mathematics; interactive algebra; knowledge management; latex; learning; mathematical encoding; mathematical knowledge management; proof; proving; theorem; C; Artificial Intelligence; Computer Communication Networks; Database Management; Information Storage and Retrieval; Information Systems Applications (incl. Internet); Mathematics, general; Artificial Intelligence; Computer Communication Networks; Database Management; Information Storage and Retrieval; Computer and Information Systems Applications; Mathematics; Computer Science; Netzwerk-Hardware; Datenbanken; Informationsrückgewinnung, Information Retrieval; Data Warehousing; Angewandte Informatik; Mathematik; BC
Session I: Foundations.- A Proof-Theoretic Approach to Hierarchical Math Library Organization.- An Exploration in the Space of Mathematical Knowledge.- Session II: Authoring.- Authoring Presentation for openmath.- Translating Mathematical Vernacular into Knowledge Repositories.- Assisted Proof Document Authoring.- Session III: Representations.- A Tough Nut for Mathematical Knowledge Management.- Textbook Proofs Meet Formal Logic – The Problem of Underspecification and Granularity.- Processing Textbook-Style Matrices.- Session IV: Proving.- A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.- Impasse-Driven Reasoning in Proof Planning.- Literate Proving: Presenting and Documenting Formal Proofs.- Session V: MKManagement Tools.- Semantic Matching for Mathematical Services.- Mathematical Knowledge Browser with Automatic Hyperlink Detection.- A Database of Glyphs for OCR of Mathematical Documents.- Session VI: Documents.- Toward an Object-Oriented Structure for Mathematical Text.- Explanation in Natural Language of ?????-Terms.- Engineering Mathematical Knowledge.- Session VII: MKM Case Studies.- Computational Origami of a Morley’s Triangle.- Designing Diagrammatic Catalogues of Types of Basic Interval Equation: A Case Study.- Gröbner Bases — Theory Refinement in the Mizar System.- Session VIII: Course Materials.- An Interactive Algebra Course with Formalised Proofs and Definitions.- Interactive Learning and Mathematical Calculus.- Session IX: Migration.- XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy.- Determining Empirical Characteristics of Mathematical Expression Use.- Transformations of MML Database’s Elements.- Translating a Fragment of Weak Type Theory into Type Theory with Open Terms.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540314301 Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863, Band 3863) (Michael Kohlhase)
- 9783540314301 Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3863, Band 3863) (Michael Kohlhase)
- 9783540573227 Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings Jacqu (Jacques Calmet/ John A. Campbell)
- 9783540005681 Mathematical Knowledge Management (Asperti, Andrea Buchberger, Bruno Davenport, James Harold)
- Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Lecture Notes ... / Lecture Notes in Artificial Intelligence) (2008-10-10) (unknown)
- Mathematical Knowledge Management
< zum Archiv...