-
Computability and unsolvabilityDavis, MartinVrsta gradiva - knjigaZaložništvo in izdelava - New York ; Toronto ; London : McGraw-Hill, 1958Jezik - angleškiCOBISS.SI-ID - 13501957
Avtor
Davis, Martin
Teme
matematika |
računalništvo |
računalniško programiranje |
teorija izračunljivosti |
izračunljive funkcije |
rekurzivne funkcije |
matematična logika |
teorija števil |
diofantske enačbe |
priročniki |
mathematics |
computer science |
programming |
computability |
computable functions |
recursive functions |
logic |
Turing machines |
Diophantine equations |
Kleene hierarchy
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Rezervirajte gradivo na želenem mestu prevzema.
Mesto prevzema |
Status gradiva | Rezervacija |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana |
prosto - na dom, čas izposoje: 1 mes.
|
Signatura – lokacija, inventarna št. ... |
Status izvoda |
---|---|
Skladišče-Jadranska 19 Zgodovina računalništva 0000006195/0000000005 Skladišče-Jadranska 19 Zgodovina računalništva 6195/5 |
prosto - na dom, čas izposoje: 1 mes.
|
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.