PROJEKTOWANIE UKŁADÓW STEROWANIA BINARNEGO WSPOMAGANE AUTOMATYCZNYM WNIOSKOWANIEM GENTZENA
Jacek Tkacz
Pełen tekst pracy (~2.4MB)
Dane o rozprawie doktorskiej