Period of time： 2014年3-4期
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 33,issue 3-4
Menu
By Kapur Deepak,Vigneron Laurent in (2004)
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.
Access to resources
Recommend
Model-Theoretic Methods in Combined Constraint Satisfiability
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.By Zarba Calogero,Cantone Domenico,Schwartz Jacob in (2004)
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.On the Complexity of Deduction Modulo Leaf Permutative Equations
By Boy de la Tour Thierry,Echenim Mnacho in (2004)
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.MPTP – Motivation, Implementation, First Experiments
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.Reachability Analysis over Term Rewriting Systems
By Feuillade Guillaume,Genet Thomas,Viet Triem Tong Valérie in (2004)
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.