Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 38
Volume 38, Number 1-3, May 2003
- Bruno Buchberger, Gaston H. Gonnet, Michiel Hazewinkel:
Preface. 1-2 - Bill Naylor, Stephen M. Watt:
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. 3-25 - Andrea Asperti
, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena:
Mathematical Knowledge Management in HELM. 27-46 - Erica Melis, Jochen Büdenbender, Georgi Goguadze, Paul Libbrecht, Carsten Ullrich:
Knowledge Representation and Management in ACTIVEMATH. 47-64 - Frédéric Fürst, Michel Leclère, Francky Trichet:
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry. 65-89 - Paul A. Cairns, Jeremy Gow, Peter Collins:
On Dynamically Presenting a Topology Course. 91-104 - Daniel W. Lozier:
NIST Digital Library of Mathematical Functions. 105-119 - Bruce R. Miller, Abdou Youssef:
Technical Aspects of the Digital Library of Mathematical Functions. 121-136 - Gerhard O. Michler:
How to Build a Prototype for a Distributed Digital Mathematics Archive Library. 137-164 - William M. Farmer, Martin von Mohrenschildt:
An Overview of a Formal Framework for Managing Mathematics. 165-191 - Christoph Schwarzweller:
Designing Mathematical Libraries Based on Requirements for Theorems. 193-209 - Peter Baumgartner, Ulrich Furbach:
Automated Deduction Techniques for the Management of Personalized Documents. 211-228
Volume 38, Number 4, August 2003
- Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino:
Inferring Minimal Functional Dependencies in Horn and q-Horn Theories. 233-255 - A. C. Cem Say:
Sound and Complete Qualitative Simulation Needs "Quantitative" Filtering. 257-267 - Tolga Könik, A. C. Cem Say:
Duration Consistency Filtering for Qualitative Simulation. 269-309
a service of 
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.
last updated on 2024-06-19 21:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
