F. D. Kamareddine Books
Thirty Five Years of Automating Mathematics
This volume is a collection of papers with a personal flavour. It consists of 11 articles which propose interesting variations to or examples of mechanising mathematics and illustrate differ develo...
Read More