TY  - BOOK
A1  - E. Borger...]et al.[, eds
TI  - Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101373571
UR  /book/101373571/Computer-science-logic-4th-Workshop-CSL-90-He/
ER  -