-
Intuitionistic Modal Logic and Applications (IMLA'02) : workshop proceedingsInternational Workshop on Intuitionistic Modal Logic and Applications (2 ; 2002 ; Copenhagen)Vrsta gradiva - zbornikZaložništvo in izdelava - Bamberg : Otto-Friedrich-Universität, 2002Jezik - angleškiCOBISS.SI-ID - 11952473
Avtor
International Workshop on Intuitionistic Modal Logic and Applications
Drugi avtorji
Goré, Rajeev |
Mendler, Michael |
De Paiva, Valeria
Zbirka
Bamberger Beiträge zur Wirtschaftsinformatik und angewandten Informatik
Teme
matematična logika |
modalna logika |
računalništvo |
mednarodne konference |
mathematical logic |
intuitionistic modal logic |
computer science |
international conferences
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.