Year: 2014

Journal: , ВАК

Journal: Information Science and Control Systems

Publisher: Russia, Blagoveshensk, ASU

Output data: №4(42)

ISSN / ISBN: 1814-2400

Bibliographic description: Lifshits A. Ya., Shalfeeva E. A. The features of realization of substitution operation for cloudy service of automated construction of theorems proving // Information Science and Control Systems. 2014. №4(42). Pp. 159-169.

Links: