Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Různá zadání rekursivních funk...
Popis
Citace.com
×
Citace.com
Poslat emailem
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Exportovat do MARC
Exportovat do MARCXML
Exportovat do RDF
Exportovat do BibTeX
Exportovat do RIS
Do oblíbených
Různá zadání rekursivních funkcí
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Man, Vlastislav
(Autor práce)
Další autoři:
Dymáček, Michael, 1943-
(Vedoucí práce)
Typ dokumentu:
VŠ práce nebo rukopis
Jazyk:
Čeština
Vydáno:
1970
Témata:
algoritmy
matematická logika
rekursivní funkce
algorithms
mathematical logic
diplomové práce
master's theses
Jednotky
Popis
MARC21
Popis
Popis jednotky:
Vedoucí práce: Michael Dymáček
Fyzický popis:
39 l.
Podobné jednotky
Rozhodování pravdivosti ve VDP
Autor: Strouhal, Luděk
Vydáno: (1985)
Computability and logic /
Autor: Cohen, Daniel E., 1934-
Vydáno: (1987)
Issledovanija po matematičeskoj logike i teorii algoritmov /
Vydáno: (1975)
Teorija rekursivnych funkcij i effektivnaja vyčislimost' /
Autor: Rogers, Hartley, 1926-
Vydáno: (1972)
Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov /
Autor: Lavrov, Igor' Andrejevič, a další
Vydáno: (1984)
×
Načítá se...