Publisher: Edp Sciences
E-ISSN: 2271-2097|15|issue|04004-04004
ISSN: 2271-2097
Source: ITM Web of conferences, Vol.15, Iss.issue, 2017-12, pp. : 04004-04004
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
Systems Methods in Visual Modelling
Systems Analysis Modelling Simulation, Vol. 43, Iss. 9, 2003-09 ,pp. :
The relative efficiency of propositional proof systems
The Journal of Symbolic Logic, Vol. 44, Iss. 1, 1979-03 ,pp. :