Skip to main content

Language and example of knowledge-based programming

  • Lectures
  • Conference paper
  • First Online:
  • 147 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 215))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kahro, M. et al.: Programming system PRIZ for ES computers, "Finansy i Statistika", Moscow (1981) (Russian).

    Google Scholar 

  2. Mints, G., Tyugu, E.: Justification of the Structural Synthesis of Programs, Science of Computer Programming No. 2 (1982), pp. 215–240.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Wolfgang Bibel Klaus P. Jantke

Rights and permissions

Reprints 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

Publish with us

Policies and ethics