Zastosowanie metody logiczno-algebraicznej i technik programowania z ograniczeniami do badania poprawności bazy wiedzy / Grzegorz Bocewicz.
Rodzaj materiału:
ArtykułPraca zawiera: - Krajowa Konferencja Studentów i Młodych Pracowników Nauki (3 ; 2006 ; Koszalin, Polska)
| Okładka | Typ dokumentu | Obecna biblioteka | Biblioteka macierzysta | Kolekcja | Lokalizacja | Sygnatura | Materiały określone | Nr tomu/części | URL | Numer kopii | Status | Uwagi | Termin zwrotu | Kod kreskowy | Zamówienia | Kolejka rezerwacji egzemplarzy | Kursy | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Artykuł
|
Bibliografia Prac Pracowników - BPK | 81221 (Przeglądaj półkę(Otwórz poniżej)) | Nie można wypożyczyć |
Dane z autopsji.
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ą.