The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Math. Artif. Intell.
2003, volume: 38, number: 1-3

  1. Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel
    Preface. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:1-2 [Journal]
  2. Bill Naylor, Stephen M. Watt
    Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:3-25 [Journal]
  3. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
    Mathematical Knowledge Management in HELM. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:27-46 [Journal]
  4. Erica Melis, Jochen Büdenbender, George Goguadze, Paul Libbrecht, Carsten Ullrich
    Knowledge Representation and Management in ACTIVEMATH. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:47-64 [Journal]
  5. Frédéric Fürst, Michel Leclère, Francky Trichet
    Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:65-89 [Journal]
  6. Paul A. Cairns, Jeremy Gow, Peter Collins
    On Dynamically Presenting a Topology Course. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:91-104 [Journal]
  7. Daniel W. Lozier
    NIST Digital Library of Mathematical Functions. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:105-119 [Journal]
  8. Bruce R. Miller, Abdou Youssef
    Technical Aspects of the Digital Library of Mathematical Functions. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:121-136 [Journal]
  9. Gerhard O. Michler
    How to Build a Prototype for a Distributed Digital Mathematics Archive Library. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:137-164 [Journal]
  10. William M. Farmer, Martin von Mohrenschildt
    An Overview of a Formal Framework for Managing Mathematics. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:165-191 [Journal]
  11. Christoph Schwarzweller
    Designing Mathematical Libraries Based on Requirements for Theorems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:193-209 [Journal]
  12. Peter Baumgartner, Ulrich Furbach
    Automated Deduction Techniques for the Management of Personalized Documents. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:211-228 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002