Symbolic computation for Fourier transformation using predicate logic language
碩士 === 國立成功大學 === 工程科學研究所 === 75 ===
Main Authors: | Xu, Ming-Wei, 許明煒 |
---|---|
Other Authors: | Chen, Ze-Sheng |
Format: | Others |
Language: | zh-TW |
Published: |
1987
|
Online Access: | http://ndltd.ncl.edu.tw/handle/82835833063192388727 |
Similar Items
-
The design of integrator with symbolic computation via predicate logic language
by: WU, GUO-GING, et al.
Published: (1986) -
The formal description of programming languages using predicate logic
by: Moss, C. D. S.
Published: (1981) -
Influences of Frege’s Predicate Logic on Some Computational Models
by: Mohamad Awwad
Published: (2018-04-01) -
Fibrations, logical predicates and indeterminates
by: Hermida, Claudio Alberto
Published: (1993) -
Existence and Predication in Free Logics
by: Kubiszeski Guilherme
Published: (2017-10-01)