Journal of Symbolic Computation,volume 21,issue 1  (01-2004)

Period of time： 2004年1期

Publisher： Academic Press

Founded in： 1985

Total resources： 48

ISSN： 0747-7171

Subject： TP Automation Technology , Computer Technology

Favorite

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 21,issue 1

Menu

The Habicht Approach to Subresultants

By Ho C.J.,Yap C.K. in (1996)

Journal of Symbolic Computation,volume 21,issue 1 , Vol. 21, Iss. 1, 1996-01 , pp. 1-14

Academic Press

Abstract Access to resources Recommend Favorite

Comparing Curried and Uncurried Rewriting

By Kennaway R.,Klop J.W.,Sleep R.,de Vries F.J. in (1996)

Journal of Symbolic Computation,volume 21,issue 1 , Vol. 21, Iss. 1, 1996-01 , pp. 15-39

Academic Press

Abstract Access to resources Recommend Favorite

Inductive Theorem Proving for Design Specifications

By Padawitz P. in (1996)

Journal of Symbolic Computation,volume 21,issue 1 , Vol. 21, Iss. 1, 1996-01 , pp. 41-99

Academic Press

Abstract Access to resources Recommend Favorite

Order Stars and Linear Stability Theory

By Sofroniou M. in (1996)

Journal of Symbolic Computation,volume 21,issue 1 , Vol. 21, Iss. 1, 1996-01 , pp. 101-131

Academic Press

Abstract Access to resources Recommend Favorite

Total 4 item(s)