Szczegóły publikacji

Opis bibliograficzny

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

Autorzy (3)

Dane bibliometryczne

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

Publikacje, które mogą Cię zainteresować

fragment książki
#3422Data dodania: 18.4.2001
Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy — [Verification of selected qualitative properties of tabular knowledge based systems] / Antoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, 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. 103–110. — Bibliogr. s. 110
SzczegółyLink
fragment książki
#3426Data dodania: 18.4.2001
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
SzczegółyLink