. . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index ani v datab\u00E1zi Scopus." . . . . "RIV/00216208:11320/08:00100444!RIV09-MSM-11320___" . . . . . "0"^^ . . "Optimization of prolog programs by fully automated transformation procedure" . "0"^^ . . . . "1"^^ . "IFIP Software Engineering Techniques in Progres (CEE-SET)" . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216208%3A11320%2F08%3A00100444!RIV09-MSM-11320___"^^ . "D5J-dB56Sjg-W7rUre5SZatINEo=" .