Hilbert Logic and Integrated Systems Software Engineering.
by James Kuodo Huang
Description.
This paper is trying to show how to integrate an engineering technology with a theory of Hilbert logic. We actually give a simple Hilbert logic which extends a simple engineering system in ISSE manner. Issues on how to extend Hilbert Logic to engineering system by using ISSE technology are studied here.
References
(1)J. Kuodo Huang;ˇ§Self-Reproducing Learning, Data Mining and intelligent predictive Systemsˇ¨, IEEE Proceedings of Grc. 2005, Page 159-162.
(2)J. Kuodo Huang; Hilbert Second Problems and Uncertainty Computing, Journal of Nanchang Institute of Technology, Vol. 25 (2006) No. 2, Page 36-42
(3)J. Kuodo Huang; On Systems Software Engineering with Application to Bioinformatics,
IEEE Proceedings Grc2007, Page 628-631.
...
...
...
