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
Povezanost rada
Povezane osobe
Povezane ustanove