Szczegóły publikacji

Opis bibliograficzny

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.

Autorzy (2)

Dane bibliometryczne

ID BaDAP48832
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
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.
Szczegóły
fragment książki
MOF-based metamodeling for the XTT knowledge representation / Krzysztof KLUZA, 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. 93–98. — Bibliogr. s. 98, Abstr.
Szczegóły