Pregled bibliografske jedinice broj: 295478
Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema
Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema // Informatica An International Journal of Computing and Informatics, 10 (1986), 1; 76-79 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 295478 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema
(Implication Problem for Functional Dependencies and Mechanical Theorem Proving)
Autori
Maleković, Mirko
Izvornik
Informatica An International Journal of Computing and Informatics (0350-5596) 10
(1986), 1;
76-79
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
Implikacijski problem; funkcijske zavisnosti
(Implication Problem; Functional Dependencies)
Sažetak
U radu je predložen postupak za rješavanje imlikacijskog problema primjenom rezolucijske procedure.
Izvorni jezik
Hrvatski
Znanstvena područja
Informacijske i komunikacijske znanosti
POVEZANOST RADA
Ustanove:
Fakultet organizacije i informatike, Varaždin
Profili:
Mirko Maleković
(autor)
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- The INSPEC Science Abstracts series
- Mathematical Reviews
- INSPEC
- ACM Computing Surveys
- DBLP Computer Science Bibliography
