- Author
- Dymek Dariusz, Zaliwski Andrzej
- Title
- Wykorzystanie metod formalnych do kontroli transformacji BD
- Source
- Prace Naukowe / Akademia Ekonomiczna w Katowicach. Inteligentne systemy wspomagania decyzji w zarządzaniu. Nowe kierunki prac, 1995, s. 105-111, bibliogr. 11 poz.
- Keyword
- Materiały konferencyjne, Grafy, Bazy danych, Proces projektowania
Conference materials, Graphs, Databases, Design process - Accessibility
- The Main Library of the Cracow University of Economics
The Library of Warsaw School of Economics
The Library of University of Economics in Katowice
The Main Library of Poznań University of Economics and Business
The Main Library of the Wroclaw University of Economics - Cited by
- Language
- pol
