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 47,issue 1
Menu
The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4
By Gordon Michael,Kaufmann Matt,Ray Sandip in (2011)
Journal of Automated Reasoning,volume 47,issue 1 , Vol. 47, Iss. 1, 2011-06 , pp.
Access to resources
Recommend
Computationally Effective Reasoning About Goal Interactions
By Thangarajah John,Padgham Lin in (2011)
Journal of Automated Reasoning,volume 47,issue 1 , Vol. 47, Iss. 1, 2011-06 , pp.The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling
By Dennis Louise,Green Ian,Smaill Alan in (2011)
Journal of Automated Reasoning,volume 47,issue 1 , Vol. 47, Iss. 1, 2011-06 , pp.