Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema (CROSBI ID 131650)

Prilog u časopisu | izvorni znanstveni rad

Maleković, Mirko Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema // Informatica (Ljubljana), 10 (1986), 1; 76-79-x

Podaci o odgovornosti

Maleković, Mirko

hrvatski

Implikacijski problem za funkcijske zavisnosti i mehaničko dokazivanje teorema

U radu je predložen postupak za rješavanje imlikacijskog problema primjenom rezolucijske procedure.

Implikacijski problem; funkcijske zavisnosti

nije evidentirano

engleski

Implication Problem for Functional Dependencies and Mechanical Theorem Proving

nije evidentirano

Implication Problem; Functional Dependencies

nije evidentirano

Podaci o izdanju

10 (1)

1986.

76-79-x

objavljeno

0350-5596

Povezanost rada

Informacijske i komunikacijske znanosti