TY  - GEN
AU  - BOCEWICZ,Grzegorz, Politechnika Koszalińska - Wydział Elektroniki i Informatyki
ED  - Krajowa Konferencja Studentów i Młodych Pracowników Nauki 
TI  - Zastosowanie metody logiczno-algebraicznej i technik programowania z ograniczeniami do badania poprawności bazy wiedzy
KW  - Programowanie (informat.)
KW  - Przedsiębiorstwo - organizacja
KW  - Materiały konferencyjne
N1  - Dane z autopsji
N2  - W pracy przedstawiono metody weryfikacji bazy wiedzy pod kątem sprzeczności, nadmiarowości i spójności wykorzystujące techniki programowania z ograniczeniami i metodę logiczno-algebraiczną
ER  -