TY - BOOK AU - Kędzierski,Stanisław TI - Metody formalne w inteligentnych systemach informatycznych: materiały z III Seminarium T2 - Prace Naukowe / Akademia Ekonomiczna im. Karola Adamieckiego SN - 8386434511 PY - 1994/// CY - Katowice PB - Wydaw. Akademii Ekonomicznej im. Karola Adamieckiego N1 - bibliogr ER -