Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Glushkov, V.M.: Computer is proving. (Russian) Izdat. "Znanie", Moscow, 1981. 64 pp.
Davidov, G.V.: About correcting of nonprovable formulae. (Russian) Zapiski naučnih seminarov LOMI AN SSSR 4 (1967), 18–29.
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.
Matrosov, V.M., Anapolski, L.Ju., Vassiljev, S.N.: Comparison method in mathematical systems theory. (Russian) Izdat. "Nauka", Novosibirsk, 1980. 481 pp.
Matrosov, V.M., Vassiljev, S.N. et al: Derivation algorithms for theorems of VLF method. (Russian) Izdat. "Nauka", Novosibirsk, 1981. 271 pp.
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.
Vassiljev, S.N.: Derivation algorithms for theorems with comparison functions. (Russian) Cybernetics problems. Nonclassical logics and their applications, 54–74. Izdat. VINITI, Moscow, 1982.
Discrete mathematics and mathematical problems of cybernetics. Vol. I. (Russian) Edited by S.V.Jablonsky, O.B.Lupanov. Izdat. "Nauka", Moscow, 1974. 311 pp.
Vassilyev, S.N.: Method of vector Lyapunov functions in time-optimality problems. (Russian) Dokl. Akad. Nauk SSSR 287 (1986), 29–32.
Author information
Authors and Affiliations
Editor information
Rights 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