Počet záznamov: 1
Postov korešpondenčný problém a jeho aplikácie v teórii formálnych jazykov
Názov Postov korešpondenčný problém a jeho aplikácie v teórii formálnych jazykov Aut.údaje Bohuslav Sivák Autor Sivák Bohuslav 1951- UMBFP05 - Katedra informatiky
Zdroj.dok. DIDINFO '99. Zborník z kolokvia o vyučovaní informatiky na základných a stredných školách 2. S. 145-150. - Banská Bystrica : Metodické centrum, 1999 Kľúč.slová Postov korešpondenčný problém algoritmická riešiteľnosť orientované grafy Systematika 51 Kategória publikačnej činnosti BEF Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ nerozpoznaný
Počet záznamov: 1