Period of time: 2004年4期
Publisher: Academic Press
Founded in: 1985
Total resources: 48
ISSN: 0747-7171
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 Symbolic Computation,volume 34,issue 4
Menu
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems
By Linton S.,Sebastiani R. in (2002)
Journal of Symbolic Computation,volume 34,issue 4 , Vol. 34, Iss. 4, 2002-10 , pp.Incorporating Decision Procedures in Implicit Induction
By Armando A.,Rusinowitch M.,Stratulat S. in (2002)
Journal of Symbolic Computation,volume 34,issue 4 , Vol. 34, Iss. 4, 2002-10 , pp.Equality in Computer Algebra and Beyond
Journal of Symbolic Computation,volume 34,issue 4 , Vol. 34, Iss. 4, 2002-10 , pp.A Constructive Algebraic Hierarchy in Coq
By Geuvers H.,Pollack R.,Wiedijk F.,Zwanenburg J. in (2002)
Journal of Symbolic Computation,volume 34,issue 4 , Vol. 34, Iss. 4, 2002-10 , pp.Comparing Approaches to the Exploration of the Domain of Residue Classes
By Meier A.,Pollet M.,Sorge V. in (2002)
Journal of Symbolic Computation,volume 34,issue 4 , Vol. 34, Iss. 4, 2002-10 , pp.