![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
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
![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
By Manolios Panagiotis,Srinivasan Sudarshan in (2006)
Journal of Automated Reasoning,volume 37,issue 1-2 , Vol. 37, Iss. 1-2, 2006-08 , pp.![](/images/ico/ico5.png)
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.