Lecture Notes in Computer Science - Mathematical Knowledge Management
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540005681, 9783540364696
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Information Retrieval in MML

2003 ◽  
pp. 119-132 ◽  
Author(s):  
Grzegorz Bancerek ◽  
Piotr Rudnicki
Keyword(s):  
Information Retrieval

A Theoretical Analysis of Hierarchical Proofs

2003 ◽  
pp. 175-187 ◽  
Author(s):  
Paul Cairns ◽  
Jeremy Gow
Keyword(s):  
Theoretical Analysis

Problems and Solutions for Markup for Mathematical Examples and Exercises

2003 ◽  
pp. 80-92 ◽  
Author(s):  
Georgi Goguadze ◽  
Erica Melis ◽  
Carsten Ullrich ◽  
Paul Cairns
Keyword(s):  
Problems And Solutions

scholarly journals The Mathematical Semantic Web

2003 ◽  
pp. 216-223 ◽  
Author(s):  
Massimo Marchiori
Keyword(s):  
Semantic Web

An Expert System for the Flexible Processing of XML -Based Mathematical Knowledge in a PROLOG—Environment

2003 ◽  
pp. 133-146 ◽  
Author(s):  
Bernd D. Heumesser ◽  
Dietmar A. Seipel ◽  
Ulrich Güntzer
Keyword(s):  
Expert System ◽  
Mathematical Knowledge

NAG Library Documentation

2003 ◽  
pp. 56-65
Author(s):  
David Carlisle ◽  
Mike Dewar
Load More ...
Sign in / Sign up

Export Citation Format

Share Document