TY - BOOK A1 - A. Tarlecki )ed.( TI - Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz, Dolny, Poland, 1991: proceedings PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101373557 UR /book/101373557/Mathematical-foundations-of-computer-science-1991/ ER -