TY  - BOOK
A1  - 
TI  - programs-as-Adapting proofs
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92920482
UR  /book/92920482/programsasAdapting-proofs/
ER  -