Napredna pretraga

Pregled bibliografske jedinice broj: 295478

Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema


Maleković, Mirko
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)


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

Autor s matičnim brojem:
Mirko Maleković, (169522)

Uključenost u ostale bibliografske baze podataka:


  • The INSPEC Science Abstracts series
  • Mathematical Reviews
  • INSPEC
  • ACM Computing Surveys
  • DBLP Computer Science Bibliography