Volume 93,
2004
- Fairouz Kamareddine:
Mathematical Knowledge Management Symposium 2003.
1-4
Electronic Edition (link) BibTeX
- Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo:
Assertion-level Proof Representation with Under-Specification.
5-23
Electronic Edition (link) BibTeX
- Bruno Buchberger, Adrian Craciun:
Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema.
24-59
Electronic Edition (link) BibTeX
- Paul A. Cairns, Jeremy Gow:
Using and Parsing the Mizar Language.
60-69
Electronic Edition (link) BibTeX
- Klaus Grue:
Logiweb.
70-101
Electronic Edition (link) BibTeX
- Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer:
Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories.
102-117
Electronic Edition (link) BibTeX
- Gueorgui I. Jojgov, Herman Geuvers:
A Calculus of Tactics and Its Operational Semantics.
118-137
Electronic Edition (link) BibTeX
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells:
MathLang: Experience-driven Development of a New Mathematical Language.
138-160
Electronic Edition (link) BibTeX
- Mircea Marin, Florina Piroi:
Deduction and Presentation in rho Log.
161-182
Electronic Edition (link) BibTeX
- Manolis Mavrikis, Alberto González Palomo:
Mathematical, Interactive Exercise Generation from Static Documents.
183-201
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:17 2009
by Michael Ley (ley@uni-trier.de)