-
Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedingsInternational workshop on Meta-programming in logic (3 ; 1992 ; Uppsala)Vrsta gradiva - konferenčni zbornikZaložništvo in izdelava - Berlin [etc.] : Springer, 1992Jezik - angleškiISBN - 978-3-540-56282-5; 978-3-540-47505-7COBISS.SI-ID - 13493253
Avtor
International workshop on Meta-programming in logic
Drugi avtorji
Pettorossi, Alberto, 1947-
Zbirka
Lecture notes in computer science
Teme
računalništvo |
logično programiranje |
meta programiranje |
aprogramski jeziki |
aplikacije |
logika |
transformacija programov |
predstavitev znanja |
artificial intelligence |
software engineering |
theoretical computer science |
databases |
logic |
optimization |
programming |
programming languages |
semantics
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Centralna tehniška knjižnica Univerze v Ljubljani | 32987/649 Skladišče IN: 199201679 |
prosto - na dom, čas izposoje: 14 dni |
![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 |
---|---|
Pettorossi, Alberto, 1947- | ![]() |
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.