Originele taal-2 | Engels |
---|---|
Kwalificatie | Doctor in de Filosofie |
Toekennende instantie |
|
Begeleider(s)/adviseur |
|
Datum van toekenning | 10 mrt. 2022 |
Plaats van publicatie | Eindhoven |
Uitgever | |
Elektronische ISBN's | 978-90-386-5445-4 |
Status | Gepubliceerd - 10 mrt. 2022 |
GPU Enabled Automated Reasoning
Muhammad Osama Mahmoud
Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
609
Downloads
(Pure)