A solving of problems on technological models

  • V. Ju. Mikhailov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)


Technological Problem Elementary Action Formal System Technological Model Table Index 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Tyugu E.H. A solving of problem on computational models. Zurn. Vycisl. Mat. & Mat. Phys., vol.10, no.5, 1970.Google Scholar
  2. 2.
    Tyugu E.H. Conceptual programming. M., Nauka, 1984.Google Scholar
  3. 3.
    Minz G.E., Tyugu E.H. Structural synthesys and nonclassic logics. — In: III Conf. Applic. of math., Tallin, 1983.Google Scholar
  4. 4.
    Mikhailov V.Ju. One automatic program synthesys system. — In: Automatic program synthesys. Tallin, 1983.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • V. Ju. Mikhailov
    • 1
  1. 1.Kazan State UniversityKazanUSSR

Personalised recommendations