-
Finite and algorithmic model theoryVrsta gradiva - zbornikZaložništvo in izdelava - Cambridge [etc.] : Cambridge University Press, cop. 2011Jezik - angleškiISBN - 978-0-521-71820-2COBISS.SI-ID - 15860569
Drugi avtorji
Esparza, Javier |
Michaux, Christian |
Steinhorn, Charles |
Workshop on Finite and Algorithmic Model Theory
Zbirka
London Mathematical Society lecture note series
Teme
matematika |
logika |
teorija modelov |
teoretično računalništvo |
algoritmi |
zborniki |
mathematics |
logic |
finite model theory |
infinite model theory |
theoretical computer science |
algorithms |
proceedings
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana | Skladišče-Jadranska 21 6120/379 |
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 |
---|---|
Esparza, Javier | ![]() |
Michaux, Christian | ![]() |
Steinhorn, Charles | ![]() |
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.