TY - BOOK A1 - B. Rovan, ed TI - Mathematical foundations of computer science, 1990 : Banska Bystrica, Czechoslovakia, August 27-31, 1990 : Proceedings PB - کتابخانه پژوهشگاه دانشهای بنیادی SN - 101373486 UR /book/101373486/Mathematical-foundations-of-computer-science-1990/ ER -