Period of time： 2004年2期
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 24,issue 2
Menu
Special Issue on Application of Quantifier Elimination. Foreword of the Guest Editors
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.
Access to resources
Recommend
By Kozen D.,Stefansson K. in (1997)
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.Nonlinear Control System Design by Quantifier Elimination
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.Robust Multi-Objective Feedback Design by Quantifier Elimination
By Dorato P.,Yang W.,Abdallah C. in (1997)
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.Testing Stability by Quantifier Elimination
By Hong H.,Liska R.,Steinberg S. in (1997)
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.Simulation and Optimization by Quantifier Elimination
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.Simplification of Quantifier-free Formulae over Ordered Fields
By Dolzmann A.,Sturm T. in (1997)
Journal of Symbolic Computation,volume 24,issue 2 , Vol. 24, Iss. 2, 1997-08 , pp.