Szczegóły publikacji

Opis bibliograficzny

Proposal of a formal verification framework for the XTT2 rule bases / Agata Ligęza, Grzegorz J. NALEPA // W: CMS'09 : Computer Methods and Systems : 7th conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — ISBN: 83-916420-5-4. — S. 105–110. — Bibliogr. s. 110, Abstr.

Autorzy (2)

Dane bibliometryczne

ID BaDAP48833
Data dodania do BaDAP2009-12-07
Rok publikacji2009
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#48832Data dodania: 7.12.2009
Extensible design and verification environment for XTT rule bases / Krzysztof KACZOR, Grzegorz J. NALEPA // W: CMS'09 : Computer Methods and Systems : 7th conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — ISBN: 83-916420-5-4. — S. 99–104. — Bibliogr. s. 104, Abstr.
SzczegółyLink
fragment książki
#48825Data dodania: 7.12.2009
Rule representation for the Semantic Web – overview of approaches / Weronika T. FURMAŃSKA // W: CMS'09 : Computer Methods and Systems : 7th conference : 26–27 November 2009, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Wojciech Mitkowski, Maciej Szymkat ; AGH University of Science and Technology Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2009. — ISBN: 83-916420-5-4. — S. 81–86. — Bibliogr. s. 86, Abstr.
SzczegółyLink