Popis: Aplikace resoluční metody pro analýzu programů

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Koleňáková, Taťjana (Autor práce)
Další autoři:	Sedláček, Václav (Vedoucí práce)
Typ dokumentu:	VŠ práce nebo rukopis
Jazyk:	Čeština
Vydáno:	1984
Témata:	programovací jazyky programování programming languages programming diplomové práce master's theses

Popis
Popis jednotky:	Vedoucí práce: Václav Sedláček
Fyzický popis:	41 l. + 1 sv. (počítačová sjetina)