Period of time: 2014年1期
Publisher: Springer Publishing Company
Founded in: 1985
Total resources: 33
ISSN: 0168-7433
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Automated Reasoning,volume 31,issue 1
Menu
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
Journal of Automated Reasoning,volume 31,issue 1 , Vol. 31, Iss. 1, 2003-09 , pp.Theorem Proving Based on the Extension Rule
By Hai Lin,Jigui Sun,Yimin Zhang in (2003)
Journal of Automated Reasoning,volume 31,issue 1 , Vol. 31, Iss. 1, 2003-09 , pp.The CADE-18 ATP System Competition
By Sutcliffe G.,Suttner C. in (2003)
Journal of Automated Reasoning,volume 31,issue 1 , Vol. 31, Iss. 1, 2003-09 , pp.By Dowek Gilles,Hardin Thérèse,Kirchner Claude in (2003)
Journal of Automated Reasoning,volume 31,issue 1 , Vol. 31, Iss. 1, 2003-09 , pp.From Bisimulation to Simulation: Coarsest Partition Problems
By Gentilini R.,Piazza C.,Policriti A. in (2003)
Journal of Automated Reasoning,volume 31,issue 1 , Vol. 31, Iss. 1, 2003-09 , pp.