Knihovna AV ČR, v. v. i.
Odhlásit
Přihlášení
Jazyk
English
Čeština
Instituce
Knihovna AV ČR
Souborný katalog AV ČR
Archeologický ústav Brno
Archeologický ústav Praha
Astronomický ústav
Biofyzikální ústav
Botanický ústav
Etnologický ústav
Filosofický ústav
Fyzikální ústav
Fyziologický ústav
Geofyzikální ústav
Geologický ústav
Historický ústav
Masarykův ústav
Matematický ústav
Orientální ústav
Psychologický ústav
Slovanský ústav
Sociologický ústav
Ústav analytické chemie
Ústav anorganické chemie
Ústav pro českou literaturu
Ústav dějin umění
Ústav fyziky atmosféry
Ústav fotoniky a elektroniky
Ústav fyzikální chemie J. H.
Ústav fyziky materiálů
Ústav geoniky
Ústav pro hydrodynamiku
Ústav chemických procesů
Ústav informatiky
Ústav pro jazyk český
Ústav jaderné fyziky
Ústav makromolekulární chemie
Ústav pro soudobé dějiny
Ústav přístrojové techniky
Ústav státu a práva
Ústav struktury a mechaniky hornin
Ústav teoretické a aplikované mechaniky
Ústav teorie informace a automatizace
Ústav výzkumu globální změny
Knihovna bude uzavřena od 23. 12. 2024 do 3. 1. 2025.
×
Všechna pole
Název
Autor
Předmět
Signatura
Čárový kód
ISBN/ISSN
Systémové číslo
Konspekt
Hledat
Pokročilé vyhledávání
Zahrnout EIZ
Domovská stránka
Issledovanija po teoriji algor...
Jednotky
Navrhnout nákup titulu
Issledovanija po teoriji algorifmov i matematičeskoj logike. T. 2.
Typ dokumentu:
Kniha
Jazyk:
ruština
Vydavatel:
Moskva :
Vyčislitěl'nyj centr AN SSSR,
1976.
Předmět:
algoritmy
logika
matematika
Jednotky
Popis
MARC21
Exportovat záznam
Export to MARC
Export to MARCXML
Export to RDF
Export to RIS
Vytvořit citaci
Podobné jednotky
Logika automaty a algoritmy /
Autor: Ajzerman, Mark Aronovič
Vydáno: (1971)
Teorija algoritmov /
Autor: Makarov, Andrej Andrejevič
Vydáno: (1984)
Spravočnaja kniga po matematičeskoj logike : V 4 čast'jach. Čast' 2 Teorija množestv
Vydáno: (1982)
Spravočnaja kniga po matematičeskoj logike : V 4 čast'jach. Čast' 3 Teorija rekursii
Vydáno: (1982)
Spravočnaja kniga po matematičeskoj logike : V 4 čast'jach. Čast' 4 Teorija dokazatel'stv i konstruktivnaja matematika
Vydáno: (1983)
×
načítá se......
