![](/images/ico/ico_close.png)
![](/images/ico/ico3.png)
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
![](/images/ico/ico5.png)
By Kapur Deepak,Vigneron Laurent in (2004)
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.![](/images/ico/ico5.png)
Model-Theoretic Methods in Combined Constraint Satisfiability
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
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.![](/images/ico/ico5.png)
MPTP – Motivation, Implementation, First Experiments
Journal of Automated Reasoning,volume 33,issue 3-4 , Vol. 33, Iss. 3-4, 2004-10 , pp.![](/images/ico/ico5.png)
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.