Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             13 results found
no title author magazine year volume issue page(s) type
1 Annals of Mathematics and Artificial Intelligence 2003
 38 1 p. 229-232
4 p.
 article
2 An Overview of a Formal Framework for Managing Mathematics William M. Farmer
 2003
 38 1 p. 165-191
27 p.
 article
3 Automated Deduction Techniques for the Management of Personalized Documents Peter Baumgartner
 2003
 38 1 p. 211-228
18 p.
 article
4 Designing Mathematical Libraries Based on Requirements for Theorems Christoph Schwarzweller
 2003
 38 1 p. 193-209
17 p.
 article
5 How to Build a Prototype for a Distributed Digital Mathematics Archive Library Gerhard O. Michler
 2003
 38 1 p. 137-164
27 p.
 article
6 Knowledge Representation and Management in ACTIVEMATH The ACTIVEMATH group
 2003
 38 1 p. 47-64
18 p.
 article
7 Mathematical Knowledge Management in HELM Andrea Asperti
 2003
 38 1 p. 27-46
20 p.
 article
8 Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms Bill Naylor
 2003
 38 1 p. 3-25
23 p.
 article
9 NIST Digital Library of Mathematical Functions Daniel W. Lozier
 2003
 38 1 p. 105-119
15 p.
 article
10 On Dynamically Presenting a Topology Course Paul Cairns
 2003
 38 1 p. 91-104
14 p.
 article
11 Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry F. Fürst
 2003
 38 1 p. 65-89
25 p.
 article
12 Preface Bruno Buchberger
 2003
 38 1 p. 1-2
2 p.
 article
13 Technical Aspects of the Digital Library of Mathematical Functions Bruce R. Miller
 2003
 38 1 p. 121-136
16 p.
 article
                             13 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands