Journal of Automated Reasoning,volume 35,issue 4  (11-2014)

Period of time： 2014年4期

Publisher： Springer Publishing Company

Founded in： 1985

Total resources： 33

ISSN： 0168-7433

Subject： TP Automation Technology , Computer Technology

Favorite

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 35,issue 4

Menu

Tool-Assisted Specification and Verification of Typed Low-Level Languages

By Barthe Gilles,Courtieu Pierre,Dufay Guillaume,Melo de Sousa Simão in (2005)

Journal of Automated Reasoning,volume 35,issue 4 , Vol. 35, Iss. 4, 2005-11 , pp. 295-354

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Toward Automating the Discovery of Decreasing Measures

By Boyer Robert,Legato Wilfred,Marek Victor in (2005)

Journal of Automated Reasoning,volume 35,issue 4 , Vol. 35, Iss. 4, 2005-11 , pp. 355-371

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005)

By Barrett Clark,Moura Leonardo,Stump Aaron in (2005)

Journal of Automated Reasoning,volume 35,issue 4 , Vol. 35, Iss. 4, 2005-11 , pp. 373-390

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Some Techniques for Proving Termination of the Hyperresolution Calculus

By Peltier N. in (2005)

Journal of Automated Reasoning,volume 35,issue 4 , Vol. 35, Iss. 4, 2005-11 , pp. 391-427

Springer Publishing Company

Abstract Access to resources Recommend Favorite

“Rippling: Meta-Level Guidance for Mathematical Reasoning,” by Alan Bundy, David Basin, Dieter Hutter, and Andrew Ireland, Cambridge University Press, 2005

By Shah Nimish in (2005)

Journal of Automated Reasoning,volume 35,issue 4 , Vol. 35, Iss. 4, 2005-11 , pp. 429-431

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)