Period of time： 2004年5期
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 31,issue 5
Menu
A Higher-order Interpretation of Deductive Tableau
By Ayari A.,Basin D. in (2001)
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.
Access to resources
Recommend
Simple CAD Construction and its Applications
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.Septic Number Fields Which are Ramified Only at One Small Prime
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.Syntactical Methods for Braids of Three Strands
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.Gröbner Bases over Galois Rings with an Application to Decoding Alternant Codes
By Byrne E.,Fitzpatrick P. in (2001)
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.Resultants and Moving Surfaces
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.Curves of Genus 2 with
A Direct Approach to Computing the
By Zheng J.,Sederberg T.W. in (2001)
Journal of Symbolic Computation,volume 31,issue 5 , Vol. 31, Iss. 5, 2001-05 , pp.