This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Kahro, M. et al.: Programming system PRIZ for ES computers, "Finansy i Statistika", Moscow (1981) (Russian).
Mints, G., Tyugu, E.: Justification of the Structural Synthesis of Programs, Science of Computer Programming No. 2 (1982), pp. 215–240.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tyugu, E. (1986). Language and example of knowledge-based programming. In: Bibel, W., Jantke, K.P. (eds) Mathematical Methods of Specification and Synthesis of Software Systems '85. MMSSS 1985. Lecture Notes in Computer Science, vol 215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16444-8_4
Download citation
DOI: https://doi.org/10.1007/3-540-16444-8_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16444-9
Online ISBN: 978-3-540-39784-7
eBook Packages: Springer Book Archive