GPU Enabled Automated Reasoning

Muhammad Osama Mahmoud

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

609 Downloads (Pure)
Originele taal-2Engels
KwalificatieDoctor in de Filosofie
Toekennende instantie
  • Mathematics and Computer Science
Begeleider(s)/adviseur
  • van den Brand, Mark G.J., Promotor
  • Wijs, Anton J., Co-Promotor
Datum van toekenning10 mrt. 2022
Plaats van publicatieEindhoven
Uitgever
Elektronische ISBN's978-90-386-5445-4
StatusGepubliceerd - 10 mrt. 2022

Bibliografische nota

Proefschrift.

Citeer dit