English
Deutsch
Français
简体中文
繁體中文
Categories
-- Database/SQL
-- Multimedia
-- Internet/Networking
-- Operating System
-- Programming
-- Security/Hacking
-- Science/Engineering
-- Web/HTML/CSS/Ajax
-- Unix/Linux
-- Windows
-- Mac OS X
-- Office
-- Perl/PHP/Python
-- C/C++/C#
-- .NET
-- Java
-- Hardware
-- Game Development
-- Embedded Systems
-- Graphics and Design
-- Network Programming
Study
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Science/Engineering Essentials of Toxic Chemical Risk: Science and Society
Science/Engineering Telefoncoaching: So machen Sie aus Ihren Mitarbeitern Telefonprofis
Science/Engineering Wireless Communications (Wiley - IEEE)
Science/Engineering Posttraumatische Belastungsstörungen (German Edition)
Science/Engineering Lernplattformen in Schulen: Ansätze für E-Learning und Blended Learning in Präsenzklassen (1 Auflage)
Science/Engineering Stochastik für Einsteiger: Eine Einführung in die faszinierende Welt des Zufalls. Mit über 220 Übungsaufgaben und Lösungen {Repost}
Science/Engineering Testtheorie und Fragebogenkonstruktion (Springer-Lehrbuch)
Science/Engineering Centrifugal Pumps, 2nd Edition
Science/Engineering Computational Intelligence for Modelling and Prediction (Studies in Computational Intelligence) 1 edition {Repost}
Science/Engineering Networks, Crowds, and Markets: Reasoning About a Highly Connected World {repost}
Science/Engineering Introduction to Biophotonics (repost)
Science/Engineering The Art and Science of Psychotherapy (repost)
Science/Engineering Advances in Chemical Physics - Volume 15: Stochastic Processes in Chemical Physics
Science/Engineering "Emulsion Science: Basic Principles" (repost)
Science/Engineering Elementary Principles of Chemical Processes 3rd edition
Science/Engineering Boundary Element Analysis (repost)
Science/Engineering Collection of books on physics 2
Science/Engineering A Practical Handbook of Preparative HPLC by Donald A. Wellings (Repost)
Science/Engineering Reviews of Environmental Contamination and Toxicology 184 by George W. Ware
Useful Links
Science/Engineering Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science)
Posted on 2010-03-16
|  |
Publisher: Springer; 1 edition
Language: English ISBN: 3540230297 Paperback: 393 pages Data: November 10, 2004 Format: PDF Description: This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project. - (6 Mb)
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Technical Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004, Proceedings (Lecture Notes in Computer Science) Publisher: SpringerNumber Of Pages: 341Publication Date: 2004-12-03Sales Ra ... |
 | Science/Engineering Computational Science - ICCS 2004: 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III (Lecture Notes in Computer Science) Publisher: Springer; 1 editionLanguage: EnglishISBN: 3540221166Paperback: 1311 pagesData: August 5, 2004Format: PDFDescription: The four-volume set LNCS 3036, LNCS 3037, LNCS 3038 and LNCS 3039 constitutes the refereed proceedings of the 4t ... |
 | Multimedia Entertainment Computing - ICEC 2004: Third International Conference, Eindhoven, The Netherlands, September 1-3, 2004, Proceedings (Lecture Notes in Computer Science)
|
 | Technical Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004, Proceedings (Lecture Notes in Computer Science ... / Lecture Notes in Artificial Intelligence) ISBN: 3540230491 Publisher: Springer Author: Description:This book constitutes the refereed proceedings of the 7th International Conference on Text, Speech and Dialogue, TSD 2004, held in Brno, Czech Republic, in September 2004. The 78 revi ... |
 | Mathematics Artificial Intelligence and Soft Computing -- ICAISC 2004: 7th International Conference, Zakopane, Poland, June 7-11, 2004, Proceedings (Lecture Notes in Computer Science) Author: Publisher: Springer (2004)Binding: Paperback, 1208 pagespricer: $159.00ISBN-10: 3540221239editorialreviewsThis book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Soft Computi ... |
 | Mathematics Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Author: Publisher: Springer (2004)Binding: Paperback, 361 pagespricer: $72.00ISBN-10: 3540229418editorialreviewsThis book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP 2004, he ... |
Comments (0)
