-
Končna omrežja pogojev : disertacijaDacar, FranceVrsta gradiva - disertacija ; neleposlovje za odrasleZaložništvo in izdelava - Ljubljana : [F. Dacar], 1994Jezik - slovenskiCOBISS.SI-ID - 56601088
Avtor
Dacar, France
Drugi avtorji
Mohar, Bojan, 1956-
Teme
matematična logika |
omrežja pogojev (matematika) |
NP-kompletni problemi |
rešljivost |
izjavna omrežja |
disertacije |
finite constraint network |
NP-complete problem |
3-satisfiability |
positive interpretation |
negative interpretation |
propositional network |
dual negative constraint network |
semantic dependency |
semantic entailment |
closure operator |
Galois correspondence |
constraint propagation |
resolution with subsumption |
locked resolution |
elimination of unknowns |
projection method |
acyclic network scheme |
local consistency technique |
local interference |
bounded resolution |
minimal dependency |
free minimal dependency |
prime dependency |
minimal generator of entailment |
associated prime dependencies |
primitive dependency |
free singular prime dependency |
isolated singular prime dependency
![loading ... loading ...](themes/default/img/ajax-loading.gif)
Knjižnica | Signatura – lokacija, inventarna št. ... | Status izvoda |
---|---|---|
Narodna in univerzitetna knjižnica, Ljubljana | GS II 470503 glavno skladišče | prosto - za čitalnico |
Centralna tehniška knjižnica Univerze v Ljubljani | 52047/931 Skladišče IN: 399600279 |
prosto - na dom, čas izposoje: 14 dni |
FMF in IMFM, Matematična knjižnica, Ljubljana | Skladišče-Jadranska 21 10921/45 |
prosto - za čitalnico |
![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 |
---|---|
Dacar, France | 02590 |
Mohar, Bojan, 1956- | 01931 |
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.