IBL Tool - Digitale Bibliotheek

Digitale Bibliotheek

Tijdschrift beschrijving

Alle jaargangen van het bijbehorende tijdschrift

Alle afleveringen van het bijbehorende jaargang

Alle artikelen van de bijbehorende aflevering

13 gevonden resultaten

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

13 gevonden resultaten

Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland