Journal of Automated Reasoning,volume 47,issue 2  (08-2014)

Period of time： 2014年2期

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 47,issue 2

Menu

Preface: Special Issue of Selected Extended Papers of CADE-22

By Schmidt Renate in (2011)

Journal of Automated Reasoning,volume 47,issue 2 , Vol. 47, Iss. 2, 2011-08 , pp. 107-109

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Automated Inference of Finite Unsatisfiability

By Claessen Koen in (2011)

Journal of Automated Reasoning,volume 47,issue 2 , Vol. 47, Iss. 2, 2011-08 , pp. 111-132

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Proving Termination by Dependency Pairs and Inductive Theorem Proving

By Fuhs Carsten in (2011)

Journal of Automated Reasoning,volume 47,issue 2 , Vol. 47, Iss. 2, 2011-08 , pp. 133-160

Springer Publishing Company

Abstract Access to resources Recommend Favorite

On Deciding Satisfiability by Theorem Proving with Speculative Inferences

By Bonacina Maria in (2011)

Journal of Automated Reasoning,volume 47,issue 2 , Vol. 47, Iss. 2, 2011-08 , pp. 161-189

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Combined Superposition and Model Evolution Calculus

By Baumgartner Peter in (2011)

Journal of Automated Reasoning,volume 47,issue 2 , Vol. 47, Iss. 2, 2011-08 , pp. 191-227

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 5 item(s)