Author: Lozinskii Eliezer L.
Publisher: Taylor & Francis Ltd
ISSN: 1362-3079
Source: Journal of Experimental & Theoretical Artificial Intelligence, Vol.15, Iss.1, 2003-01, pp. : 25-46
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
On an optimal propositional proof system and the structure of easy subsets of TAUT
By Sadowski Z.
Theoretical Computer Science, Vol. 288, Iss. 1, 2002-10 ,pp. :