Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	September 2004
Genre:	Schulbücher
	angewandte informatik / Application software / Artificial Intelligence / C / Computer and Information Systems Applications / Computer Communication Networks / Computer communication systems / computer science / Computer software / Data Warehousing / Database Management / database programming / Databases / Datenbanken / Information Retrieval / Information Storage and Retrieval / Information Systems Applications (incl. Internet) / Informationsrückgewinnung, Information Retrieval / Internet searching / Künstliche Intelligenz / Mathematical Software / Network hardware / Netzwerk-Hardware mehr...
ISBN:	9783540230298
EAN-Code:	9783540230298
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#3119 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1270 gr
Seiten:	398
Illustration:	X, 398 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.