Názvové údaje : ACM Transactions on Computational Logic Vyd.údaje : 2005 Roč., číslo : Vol. 6, No. 3, rok 2005 Súborný záznam : \q12**1 stu124856 \q ACM Transactions on Computational Logic Druh dok. : ročník a/alebo číslo časopisu Odkazy : \q2479**1 stu_us_cat*stu158768*xcla \q (1) - článok