机译:体外冲击波碎石术治疗孤立的下极结石与孤立的中上钙结石的疗效。
机译:无限值的一阶?UKASiewicz逻辑:HyperseChequent Calculi没有结构规则和证明Prenex形式中的句子
机译:ESWL在上尿路结石计算中的作用。 ESWL在上尿路结石中的有效性。
机译:无限值命题演算在文档检索系统中的使用
机译:模态和直觉性命题的片段。
机译:处理输尿管结石。
机译:程序规则$ { rm re} $ in ukasiewicz的许多值得的命题计算。
机译:人体结石的激光烧蚀和破碎模型。