TY  - BOOK
A1  - 
TI  - CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
PB  - كتابخانه مركزی دانشگاه صنعتی شریف
SN  - 72161738
UR  /book/72161738/CSL-88-2nd-Workshop-on-Computer-Science-Logic-D/
ER  -