Fairouz D. Kamareddine

Fairouz D. Kamareddine

2 books in the database

Books

Thirty Five Years of Automating MathematicsFairouz D. Kamareddine

Thirty Five Years of Automating Mathematics

Fairouz D. Kamareddine · 2003

A modern perspective on type theoryFairouz D. Kamareddine

A modern perspective on type theory

Fairouz D. Kamareddine · 2004