Asad Ahmed

Asad Ahmed

2 books in the database

Books

Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Ahmed

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Asad Ahmed · 2021

Brahmanism & the Sultans of DelhiAsad Ahmed

Brahmanism & the Sultans of Delhi

Asad Ahmed · 2014