An electronic version of the AMAI Special Issue
on MKM is available from this website.
The following publications are unfortunately not available on line, but are
very relevant to some or all aspects of the project.
Fairouz Kamareddine, editor (2003),
Mechanizing and Automating Mathematics: In honour of N.G.
de Bruijn.
Special issue in the Journal of Automated Reasoning. Volume 29, issues 1
and 2, Pages 1-245. February 2003. Kluwer Academic Publishers.
Fairouz Kamareddine, editor (2003),
Logics for Automation.
Special issue in the Journal of Applied Logic, volume 2, issue 1,
Elsevier, North-Holland.
Fairouz Kamareddine, editor (2003),
Examples of Automation.
Special issue in the Journal of Applied Logic, Volume 2, issue 2,
Elsevier, North-Holland.