Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juli 2006
Genre:	EDV / Informatik
	angewandte informatik / Application software / Artificial Intelligence / C / Computer and Information Systems Applications / Computer Communication Networks / Computer communication systems / computer science / 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 / Mathematics / Mathematics, general / Mathematik / Network hardware / Netzwerk-Hardware mehr...
ISBN:	9783540371045
EAN-Code:	9783540371045
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Lecture Notes in Artificial Intelligence #4108 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	960 gr
Seiten:	295
Illustration:	VIII, 295 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks.- The Omega Number: Irreducible Complexity in Pure Math.- Roles of Math Search in Mathematics.- Contributed Papers.- Structured Induction Proofs in Isabelle/Isar.- Interpretation of Locales in Isabelle: Theories and Proof Contexts.- A Dynamic Poincaré Principle.- A Proof-Theoretic Approach to Tactics.- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus.- Proof Transformation by CERES.- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge.- Verifying and Invalidating Textbook Proofs Using Scunak.- Capturing Abstract Matrices from Paper.- Towards a Parser for Mathematical Formula Recognition.- Stochastic Modelling of Scientific Terms Distribution in Publications.- Capturing the Content of Physics: Systems, Observables, and Experiments.- Communities of Practice in MKM: An Extensional Model.- From Notation to Semantics: There and Back Again.- Managing Informal Mathematical Knowledge: Techniques from Informal Logic.- From Untyped to Polymorphically Typed Objects in Mathematical Web Services.- Managing Automatically Formed Mathematical Theories.- Authoring LeActiveMath Calculus Content.- Information Retrieval and Rendering with MML Query.- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.