TY  - BOOK
A1  - edited by Helmut Schwichtenberg
TI  - Proof and computation
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101380937
UR  /book/101380937/Proof-and-computation/
ER  -