TY  - BOOK
A1  - E. Borger, H. Kleine Buning, M.M. Richter )eds.(
TI  - CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101373473
UR  /book/101373473/CSL89-3rd-Workshop-on-Computer-Science-Logic-K/
ER  -