Szczegóły publikacji
Opis bibliograficzny
Zastosowanie diagramów OBDD do weryfikacji tablicowych systemów regułowych — [Application of OBDD diagrams in verification of tabular rule systems] / Piotr SZWED, Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN: 8391642011. — S. 83–88. — Bibliogr. s. 88, Streszcz.
Autorzy (2)
Dane bibliometryczne
| ID BaDAP | 25280 |
|---|---|
| Data dodania do BaDAP | 2005-12-30 |
| Rok publikacji | 2003 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |