I

Iman Hafiz Poernomo

2 books found

Books by Iman Hafiz Poernomo
Adapting proofs-as-programsIman Hafiz Poernomo
⏱ 7h 0m

Adapting proofs-as-programs

Iman Hafiz Poernomo

2005420 pp.
Adapting Proofs-as-ProgramsIman Hafiz Poernomo
⏱ 7h 14m

Adapting Proofs-as-Programs

Iman Hafiz Poernomo

2005434 pp.