-
Rudiments of ▫$\mu$▫-calculusArnold, A. ; Niwiński, D.Vrsta gradiva - knjigaZaložništvo in izdelava - Amsterdam [etc.] : Elsevier, cop. 2001Jezik - angleškiISBN - 0-444-50620-9COBISS.SI-ID - 10597209
Avtor
Arnold, A. |
Niwiński, D.
Zbirka
Studies in logic and the foundations of mathematics
Teme
matematična logika |
računalništvo |
programiranje |
modalna logika |
formalni jeziki |
▫$\mu$▫-račun |
negibne točke |
polne mreže |
mathematical logic |
logic of programming |
modal logic |
formal languages |
▫$\mu$▫-calculus |
parity games |
automata |
fixed points |
complete lattices
![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 6209/146 |
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.