Sistema PROVE--realizat͡s︡ii͡a︡ metoda vydelenii͡a︡ podt͡s︡eleĭ
By: V.S. Neĭman.
Series: Algoritmy nebesnoĭ mekhaniki ;; 50
Publisher: In-t teoret. astronomii Akademii nauk SSSR
Published: 1986
Place of publication: Leningrad
Language: rus
Number of pages: 51
Subjects: Automatic theorem proving.
Notes: Bibliography: p. 50-51.