CYBERNETIC FORMULA DETERMINATION AND VERIFICATION
BUSH JONES
(Computer Science Department, Louisiana State University, Baton Rouge, Louisiana 70803 (USA))
W.G. WALLER
(Computer Science Department, Louisiana State University, Baton Rouge, Louisiana 70803 (USA))
32
Abstract
The systematic determination and verification of formulas is considered in this paper. The approach is independent of theoretical considerations in a particular discipline, and the techniques are amenable to man—machine interaction.
Citation
JONES, B. and WALLER, W.G. (1979), "CYBERNETIC FORMULA DETERMINATION AND VERIFICATION", Kybernetes, Vol. 8 No. 2, pp. 105-108. https://doi.org/10.1108/eb005511
Publisher
:MCB UP Ltd
Copyright © 1979, MCB UP Limited