TY - BOOK AU - Kamareddine, Fairouz D TI - Thirty five years of automating mathematics SN - 9781402016561 SN - 200306287 U1 - 511.3 KAM PY - 2003/// CY - Dordrecht ; Boston, MA PB - Kluwer Academic Publishers KW - Mathematics N1 - Includes bibliographical references and index ER -