TY - BOOK AU - Gołuchowski,Jerzy TI - Metody formalne w inteligentnych systemach informatycznych: materiały z seminarium naukowego : praca zbiorowa T2 - Prace Naukowe / Akademia Ekonomiczna im. Karola Adamieckiego SN - 8386434562 PY - 1994/// CY - Katowice PB - Wydaw. Akademii Ekonomicznej im. Karola Adamieckiego N1 - bibliogr ER -