Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Davis, Martin
'
Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Autor
Davis, Martin
Zobrazuji výsledky
1 - 5
z
5
pro vyhledávání '
Davis, Martin
'
, doba hledání: 0,04 s.
Upřesnit hledání
Seřadit podle
Relevance
Data sestupně
Data vzestupně
Signatury
Autora
Názvu
Computability & unsolvability
Autor
Davis
,
Martin
, 1928-2023
Vydáno:
1958
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
Computability and unsolvability
Autor
Davis
,
Martin
, 1928-2023
Vydáno:
1958
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
The universal computer : the road from Leibniz to Turing
Autor
Davis
,
Martin
, 1928-2023
Vydáno:
2018
Umístění:
Načítá se...
Kniha
Načítá se...
Uloženo v:
From Linear Operators to Computational Biology : Essays in Memory of Jacob T. Schwartz
Vydáno:
2013
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Logic for programming, artificial intelligence, and reasoning : 20th international conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings
Vydáno:
2015
Umístění:
Načítá se...
Plný text
E-kniha
Uloženo v:
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Související témata
matematická logika
rekurzivní funkce
algoritmy
dějiny výpočetní techniky
formální jazyky
fuzzy logika
fuzzy množina
informatici
informatika
matematici
počítače
programovací jazyky
programování
robotika
softwarové inženýrství
teorie množin
teorie rekurze
teorie vyčíslitelnosti
umělá inteligence
výpočetní technika
×
Načítá se...