Period of time： 2014年1-2期
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 37,issue 1-2
Menu
Empirically Successful Automated Reasoning: Applications Issue
By Fischer Bernd,Sutcliffe Geoff,Schulz Stephan in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.
Access to resources
Recommend
Axiomatizing the Skew Boolean Propositional Calculus
By Veroff R.,Spinks M. in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.MPTP 0.2: Design, Implementation, and Initial Experiments
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.Checking Consistency and Completeness of On-Line Product Manuals
By Sinz Carsten,Küchlin Wolfgang,Feichtinger Dieter,Görtler Georg in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.Formal Correctness of a Quadratic Unification Algorithm
By Ruiz-Reina José-Luis,Martín-Mateos Francisco-Jesús,Alonso José-Antonio,Hidalgo María-José in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.By Manolios Panagiotis,Srinivasan Sudarshan in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.Verification of FPGA Layout Generators in Higher-Order Logic
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.