Search dblp for Publications

export results for "toc:db/journals/amai/amai38.bht:"

 download as .bib file

@article{DBLP:journals/amai/AspertiPCGS03,
  author       = {Andrea Asperti and
                  Luca Padovani and
                  Claudio Sacerdoti Coen and
                  Ferruccio Guidi and
                  Irene Schena},
  title        = {Mathematical Knowledge Management in {HELM}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {27--46},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022907629104},
  doi          = {10.1023/A:1022907629104},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/AspertiPCGS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BaumgartnerF03,
  author       = {Peter Baumgartner and
                  Ulrich Furbach},
  title        = {Automated Deduction Techniques for the Management of Personalized
                  Documents},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {211--228},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022976016809},
  doi          = {10.1023/A:1022976016809},
  timestamp    = {Sun, 12 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/amai/BaumgartnerF03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/BuchbergerGH03,
  author       = {Bruno Buchberger and
                  Gaston H. Gonnet and
                  Michiel Hazewinkel},
  title        = {Preface},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {1--2},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022900528196},
  doi          = {10.1023/A:1022900528196},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BuchbergerGH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/CairnsGC03,
  author       = {Paul A. Cairns and
                  Jeremy Gow and
                  Peter Collins},
  title        = {On Dynamically Presenting a Topology Course},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {91--104},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022963714083},
  doi          = {10.1023/A:1022963714083},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/CairnsGC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FarmerM03,
  author       = {William M. Farmer and
                  Martin von Mohrenschildt},
  title        = {An Overview of a Formal Framework for Managing Mathematics},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {165--191},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022971915900},
  doi          = {10.1023/A:1022971915900},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FarmerM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FurstLT03,
  author       = {Fr{\'{e}}d{\'{e}}ric F{\"{u}}rst and
                  Michel Lecl{\`{e}}re and
                  Francky Trichet},
  title        = {Ontological Engineering and Mathematical Knowledge Management: {A}
                  Formalization of Projective Geometry},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {65--89},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022911730013},
  doi          = {10.1023/A:1022911730013},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FurstLT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/IbarakiKM03,
  author       = {Toshihide Ibaraki and
                  Alexander Kogan and
                  Kazuhisa Makino},
  title        = {Inferring Minimal Functional Dependencies in Horn and q-Horn Theories},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {4},
  pages        = {233--255},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023098325064},
  doi          = {10.1023/A:1023098325064},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/IbarakiKM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/KonikS03,
  author       = {Tolga K{\"{o}}nik and
                  A. C. Cem Say},
  title        = {Duration Consistency Filtering for Qualitative Simulation},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {4},
  pages        = {269--309},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023080709134},
  doi          = {10.1023/A:1023080709134},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/KonikS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Lozier03,
  author       = {Daniel W. Lozier},
  title        = {{NIST} Digital Library of Mathematical Functions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {105--119},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022915830921},
  doi          = {10.1023/A:1022915830921},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Lozier03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MelisBGLU03,
  author       = {Erica Melis and
                  Jochen B{\"{u}}denbender and
                  Georgi Goguadze and
                  Paul Libbrecht and
                  Carsten Ullrich},
  title        = {Knowledge Representation and Management in {ACTIVEMATH}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {47--64},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022959613174},
  doi          = {10.1023/A:1022959613174},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MelisBGLU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Michler03,
  author       = {Gerhard O. Michler},
  title        = {How to Build a Prototype for a Distributed Digital Mathematics Archive
                  Library},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {137--164},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022919931830},
  doi          = {10.1023/A:1022919931830},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Michler03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/MillerY03,
  author       = {Bruce R. Miller and
                  Abdou Youssef},
  title        = {Technical Aspects of the Digital Library of Mathematical Functions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {121--136},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022967814992},
  doi          = {10.1023/A:1022967814992},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/MillerY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/NaylorW03,
  author       = {Bill Naylor and
                  Stephen M. Watt},
  title        = {Meta-Stylesheets for the Conversion of Mathematical Documents into
                  Multiple Forms},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {3--25},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022955412266},
  doi          = {10.1023/A:1022955412266},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/NaylorW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Say03,
  author       = {A. C. Cem Say},
  title        = {Sound and Complete Qualitative Simulation Needs "Quantitative" Filtering},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {4},
  pages        = {257--267},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1023032825973},
  doi          = {10.1023/A:1023032825973},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Say03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Schwarzweller03,
  author       = {Christoph Schwarzweller},
  title        = {Designing Mathematical Libraries Based on Requirements for Theorems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {38},
  number       = {1-3},
  pages        = {193--209},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022924032739},
  doi          = {10.1023/A:1022924032739},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Schwarzweller03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.