Period of time: 2004年1期
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 23,issue 1
Menu
Solving a Unification Problem under Constrained Substitutions Using Tree Automata
By Kaji Y.,Fujiwara T.,Kasami T. in (1996)
Journal of Symbolic Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 1996-08 , pp.A New Algorithm for Computing the Asymptotic Solutions of a Class of Linear Differential Systems
By Brown B.M.,Eastham M.S.P.,M c CORMACK D.K.R. in (1996)
Journal of Symbolic Computation,volume 23,issue 1 , Vol. 23, Iss. 1, 1996-08 , pp.