Szczegóły publikacji

Opis bibliograficzny

Przegląd własności wybranych współczesnych implementacji języka Prolog dla analizy i weryfikacji baz danych i baz wiedzy — [Presentation of selected modern implementations of Prolog programming language for analysis and verification of data base and knowledge base systems] / Grzegorz J. NALEPA // W: Inżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — Zawiera teksty ref. przedstawionych na IV Krajowej Konferencji Naukowej "Inżynieria wiedzy i systemy ekspertowe", Wrocław 13-15 czerwca 2000 r. — ISBN: 83-7085-477-X. — S. 27–34. — Bibliogr. s. 34

Autor

Dane bibliometryczne

ID BaDAP3426
Data dodania do BaDAP2001-04-18
Rok publikacji2000
Typ publikacjifragment książki
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#3423Data dodania: 18.4.2001
Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126
SzczegółyLink
fragment książki
#13845Data dodania: 12.9.2003
Logiczne podstawy narzędzi dla wspomagania zarządzania wiedzą. Metody reprezentacji, analizy i przetwarzania wiedzy — Logical foundations for knowledge management tools. Knowledge representation, analysis and processing / Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2003. — S. 151–158. — Bibliogr. s. 158, Streszcz., Abstr.
SzczegółyLink