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
Computability & unsolvability...
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
Computability & unsolvability /
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Davis, Martin, 1928-2023
(Autor)
Typ dokumentu:
Kniha
Jazyk:
Angličtina
Vydáno:
New York :
Dover Publications,
1982.
Témata:
kybernetika
matematická logika
počítačová věda
computer science
cybernetics
mathematical logic
studie
Přejít na ObalkyKnih.cz
Jednotky
Popis
MARC21
Popis
Fyzický popis:
xxv, 248 s.
ISBN:
0-486-61471-9
Podobné jednotky
Computability, complexity, and languages : fundamentals of theoretical computer science /
Autor: Davis, Martin, 1928-2023, a další
Vydáno: (1983)
Type theory and functional programming /
Autor: Thompson, Simon G.
Vydáno: (1991)
Computer systems performance evaluation /
Autor: Ferrari, Domenico
Vydáno: (1978)
Computational complexity of bilinear forms : algebraic coding theory and applications to digital communication systems /
Autor: Krishna, Hari
Vydáno: (1987)
Typed lambda calculi and applications : 5th International Conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /
Vydáno: (2001)
×
Načítá se...