ŤŅěÁĽ≠ŚāÖťáĆŚŹ∂ŚŹėśćĘŚüļÁ°ÄÁźÜŤģļÁöĄťęėťė∂ťÄĽŤĺĎŚĹĘŚľŹŚĆĖ (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
(xsd:string)
ŤŅěÁĽ≠ŚāÖťáĆŚŹ∂ŚŹėśćĘŚüļÁ°ÄÁźÜŤģļÁöĄťęėťė∂ťÄĽŤĺĎŚĹĘŚľŹŚĆĖ (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
(xsd:string)