TY  - BOOK
A1  - 
TI  - COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72161731
UR  /book/72161731/COLOG88-International-Conference-on-Computer-Log/
ER  -