Skip to main content
SpringerLink
Log in

To automation of theorem synthesis

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 1987)

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

Included in the following conference series:

  • 136 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Glushkov, V.M.: Computer is proving. (Russian) Izdat. "Znanie", Moscow, 1981. 64 pp.

    Google Scholar 

  2. Davidov, G.V.: About correcting of nonprovable formulae. (Russian) Zapiski naučnih seminarov LOMI AN SSSR 4 (1967), 18–29.

    Google Scholar 

  3. Matrosov, V.M., Vassiljev, S.N.: Comparison principle in mathematical systems theory. (Russian) Proc. IY Internat. Joint Conf. on Artificial Intelligence (Tbilisi, 1975). Add. vol., 166–173. Izdat. VINITI, Moscow, 1975.

    Google Scholar 

  4. Matrosov, V.M., Anapolski, L.Ju., Vassiljev, S.N.: Comparison method in mathematical systems theory. (Russian) Izdat. "Nauka", Novosibirsk, 1980. 481 pp.

    Google Scholar 

  5. Matrosov, V.M., Vassiljev, S.N. et al: Derivation algorithms for theorems of VLF method. (Russian) Izdat. "Nauka", Novosibirsk, 1981. 271 pp.

    Google Scholar 

  6. Vassiljev, S.N.: Comparison method in system analysis, I–IY. (Russian) Differencial'nye Uravnenija 17 (1981), 1562–1573, 1945–1954, 18 (1982), 197–205, 938–947.

    Google Scholar 

  7. Vassiljev, S.N.: Derivation algorithms for theorems with comparison functions. (Russian) Cybernetics problems. Nonclassical logics and their applications, 54–74. Izdat. VINITI, Moscow, 1982.

    Google Scholar 

  8. Discrete mathematics and mathematical problems of cybernetics. Vol. I. (Russian) Edited by S.V.Jablonsky, O.B.Lupanov. Izdat. "Nauka", Moscow, 1974. 311 pp.

    Google Scholar 

  9. Vassilyev, S.N.: Method of vector Lyapunov functions in time-optimality problems. (Russian) Dokl. Akad. Nauk SSSR 287 (1986), 29–32.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Irkutsk Computer Center of the Siberian Branch of the USSR AS, 134, Lermontov st., 664033, Irkutsk, USSR

    S. N. Vassiljev

Authors
  1. S. N. Vassiljev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lothar Budach Rais Gatič Bukharajev Oleg Borisovič Lupanov

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vassiljev, S.N. (1987). To automation of theorem synthesis. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_103

Download citation

  • DOI: https://doi.org/10.1007/3-540-18740-5_103

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18740-0

  • Online ISBN: 978-3-540-48138-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation