کتاب های Fairouz D. Kamareddine (eds.)
![Thirty Five Years of Automating Mathematics](http://cdn.ketabkoo.com/covers/3/307246-n.jpg)
Thirty Five Years of Automating Mathematics
Fairouz D. Kamareddine (eds.), 2003![Thirty Five Years of Automating Mathematics](http://cdn.ketabkoo.com/covers/3/307411-n.jpg)
Thirty Five Years of Automating Mathematics
Fairouz D. Kamareddine (eds.), 2003![A Modern Perspective on Type Theory: From its Origins until Today](http://cdn.ketabkoo.com/covers/0/52629-n.jpg)
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005![A Modern Perspective on Type Theory: From its Origins until Today](http://cdn.ketabkoo.com/covers/0/52630-n.jpg)
A Modern Perspective on Type Theory: From its Origins until Today
Fairouz Kamareddine, Twan Laan, Rob Nederpelt, 2005![Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings (Lecture Notes in Computer Science, 12833)](http://cdn.ketabkoo.com/covers/15/1525432-n.jpg)