booktheque

Iman Hafiz Poernomo

2 ספרים במאגר

ספרים

Adapting proofs-as-programs
Iman Hafiz Poernomo · 2005
Adapting Proofs-as-Programs
Iman Hafiz Poernomo · 2005