Aplikace rezolučního principu v deduktivních systémech

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kaláček, Petr (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: 1983
Témata:
programovací jazyky
programování
programming languages
programming
diplomové práce
master's theses
Obálka
Popis
Popis jednotky:Vedoucí práce: Václav Sedláček
Fyzický popis:47 l. + 1 sv. (počítačová sjetina)

Podobné jednotky