Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: Mathematical Knowledge Management
Band 3863

Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.02.2006

Herausgeber

Michael Kohlhase

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,8/15,6/2,7 cm

Gewicht

652 g

Auflage

2006. 2006

Sprache

Englisch

ISBN

978-3-540-31430-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.02.2006

Herausgeber

Michael Kohlhase

Verlag

Springer Berlin

Seitenzahl

408

Maße (L/B/H)

23,8/15,6/2,7 cm

Gewicht

652 g

Auflage

2006. 2006

Sprache

Englisch

ISBN

978-3-540-31430-1

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Mathematical Knowledge Management
  • 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.