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
Vyhledávání
Automatické dokazování vět lin...
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
Automatické dokazování vět lineární rezolucí
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Řačák, Antonín
(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:
1981
Témata:
algoritmy (programování)
programovací jazyky
computer algorithms
programming languages
diplomové práce
master's theses
Jednotky
Popis
MARC21
Popis
Popis jednotky:
Vedoucí práce: Václav Sedláček
Fyzický popis:
46 l. + 1 sv. (počítačová sjetina)
Podobné jednotky
Automatické generování matematických příkladů
Autor: Zoufalý, Jiří
Vydáno: (1991)
Systémy pro verifikaci programů
Autor: Bartáková, Dagmar
Vydáno: (1979)
Obecné otázky aplikace automatů v informatice
Autor: Urbanovský, Milan
Vydáno: (1980)
Problémy ladění studentských programů
Autor: Marečková, Helena, a další
Vydáno: (1983)
Vyšší programovací jazyky
Autor: Hejdová, Věra
Vydáno: (1979)
×
Načítá se...