-
Computability and logicCohen, Daniel E.Vrsta gradiva - knjigaZaložništvo in izdelava - Chichester : Ellis Horwood, 1987Jezik - angleškiISBN - 0-7458-0034-3COBISS.SI-ID - 13397849
Avtor
Cohen, Daniel E.
Teme
izračunljive funkcije |
rekurzivne funkcije |
abakus |
Turingov stroj |
Hilbertov deseti problem |
logika |
predikatna logika |
nedoločljivost |
computable functions |
primitive recursive functions |
partial recursive functions |
abacus |
Turing machine |
Hilbert tenth problem |
propositional logic |
predicate logic |
incompleteness |
undecidability
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![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 |
---|---|
Cohen, Daniel E. | ![]() |
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.