-
Computer science logic : 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedingsEuropean Association for Computer Science Logic. Annual conference (12 ; 1998 ; Brno)The 1998 Annual Conference of the European Association for Computer Science Logic, CSL'98, was held in Brno, Czech Republic, during August 24-28, 1998. CSL'98 was the 12th in a series of workshops ... and the 7th to be held as the Annual Conference of the EACSL. A total of 345 persons attended the Federated CSL/MFCS'98 Conference which was a great success. The program committee of CSL'98 selected 27 of 74 papers submitted for the conference. From the 27 papers selected for presentation, 25 have been accepted, following the standard refereeeing procedure, for publication in the present proceedings. Three invited speakers submitted papers, that were likewise refereeed and accepted.Vrsta gradiva - konferenčni zbornikZaložništvo in izdelava - Berlin [etc.] : Springer, cop. 1999Jezik - angleškiISBN - 3-540-65922-6; 978-3-540-48855-2COBISS.SI-ID - 21063173
Avtor
European Association for Computer Science Logic |
Annual conference
Drugi avtorji
Gottlob, Georg
Zbirka
Lecture notes in computer science
Teme
računalništvo |
računalniška logika |
Trakhenbrotov teorem |
algebra prvega reda |
semantika |
začasne podatkovne baze |
programiranje |
Peterjev teorem |
Parsonsov teorem |
logične relacije |
zborniki |
computational complexity |
computer science logic |
constraint |
fuzzy logic |
induction |
mathematical logic |
partition |
algorithm |
databases |
logic programming |
semantics
![loading ... loading ...](themes/default/img/ajax-loading.gif)
![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 |
---|---|
Gottlob, Georg | ![]() |
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.