Author: Burkov V. Iskakov M. Korgin N.
Publisher: MAIK Nauka/Interperiodica
ISSN: 0005-1179
Source: Automation and Remote Control, Vol.71, Iss.10, 2010-10, pp. : 2168-2175
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
By Sun Yu-e Huang He Xing Kai Chen Zhili Zheng Jianying Xu Hongli Huang Liusheng
Personal and Ubiquitous Computing, Vol. 18, Iss. 4, 2014-04 ,pp. :
Algebraic proof systems over formulas
Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. :