-
Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo (C.I.M.E.), held at Montecatini Terme, Italy, June 20-28, 1988Homer, Steven ...Vrsta gradiva - zbornik ; neleposlovje za odrasleZaložništvo in izdelava - Berlin [etc.] : Springer, cop. 1990Jezik - angleškiISBN - 3-540-52734-6; 0-387-52734-6COBISS.SI-ID - 2363481
Avtor
Homer, Steven |
Nerode, Anil, 1932- |
Platek, Richard A. |
Sacks, Gerald E. |
Scedrov, Andre
Drugi avtorji
Odifreddi, Piergiorgio |
Centro internazionale matematico estivo |
Meeting on Logic and Computer Science
Teme
logika |
računalništvo |
programski jeziki |
logic |
computer science |
programming languages |
functional constructive logic |
complexity theory |
program verification
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
FMF in IMFM, Matematična knjižnica, Ljubljana | Čitalnica 10566/1429 |
prosto - na dom, čas izposoje: 1 mes. |
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 |
---|---|
Homer, Steven | |
Nerode, Anil, 1932- | |
Platek, Richard A. | |
Sacks, Gerald E. | |
Scedrov, Andre | |
Odifreddi, Piergiorgio |
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.