TY  - BOOK
A1  - / Harald Ganzinger (ed.)
TI  - Automated deduction--CADE 16
PB  - كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران
SN  - 103400741
UR  /book/103400741/Automated-deductionCADE-16/
ER  -