Journal of Automated Reasoning,volume 48,issue 3  (03-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 48,issue 3

Menu

An Instantiation Scheme for Satisfiability Modulo Theories

By Echenim Mnacho in (2012)

Journal of Automated Reasoning,volume 48,issue 3 , Vol. 48, Iss. 3, 2012-03 , pp. 293-362

Springer Publishing Company

Abstract Access to resources Recommend Favorite

E-unification with Constants vs. General E-unification

By Otop Jan in (2012)

Journal of Automated Reasoning,volume 48,issue 3 , Vol. 48, Iss. 3, 2012-03 , pp. 363-390

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Dealing with Satisfiability and n-ary CSPs in a Logical Framework

By Benhamou Belaïd in (2012)

Journal of Automated Reasoning,volume 48,issue 3 , Vol. 48, Iss. 3, 2012-03 , pp. 391-417

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 3 item(s)