1.
2.
Thirty Five Years of Automating Mathematics A Volume Dedicated to De Bruijn's Automath
by Kamareddine, Fairouz
ISBN: 9781402016561
List Price: $138.00
3.
Modern Perspective On Type Theory From Its Origins Until Today
by Kamareddine, Fairouz D., La...
ISBN: 9781402023347
List Price: $219.00
4.
Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Roma...
by Kamareddine, Fairouz, Sacer...
ISBN: 9783030810962
5.
Intelligent Technologies and Applications : First International Conference, INTAP 2018, Baha...
by Bajwa, Imran Sarwar, Kamare...
ISBN: 9789811360510
List Price: $139.99
6.
A Century Since Principia's Substitution Bedazzled Haskell Curry. in Honour of Jonathan Seld...
by Kamareddine, Fairouz
ISBN: 9781848904361
7.
A Primer of Mathematical Analysis and the Foundations of Computation
by Kamareddine, Fairouz, Seldi...
ISBN: 9781848904439