Journal of Automated Reasoning,volume 47,issue 3  (10-2014)

Period of time： 2014年3期

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 3

Menu

Proof Pearl: a Formal Proof of Higman's Lemma in ACL2

By Martín-Mateos Francisco in (2011)

Journal of Automated Reasoning,volume 47,issue 3 , Vol. 47, Iss. 3, 2011-10 , pp. 229-250

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Conjecture Synthesis for Inductive Theories

By Johansson Moa in (2011)

Journal of Automated Reasoning,volume 47,issue 3 , Vol. 47, Iss. 3, 2011-10 , pp. 251-289

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Formal Power Series

By Chaieb Amine in (2011)

Journal of Automated Reasoning,volume 47,issue 3 , Vol. 47, Iss. 3, 2011-10 , pp. 291-318

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Certified Proof of the Cartan Fixed Point Theorems

By Ciolli Gianni in (2011)

Journal of Automated Reasoning,volume 47,issue 3 , Vol. 47, Iss. 3, 2011-10 , pp. 319-336

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)