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 32,issue 4
Menu
Special Issue on Calculemus-99: Integrating Computation and Deduction Foreword of the Guest Editors
By Armando A.,Jebelean T. in (2001)
Journal of Symbolic Computation,volume 32,issue 4 , Vol. 32, Iss. 4, 2001-09 , pp.
Access to resources
Recommend
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
By Armando A.,Coglio A.,Giunchiglia F.,Ranise S. in (2001)
Journal of Symbolic Computation,volume 32,issue 4 , Vol. 32, Iss. 4, 2001-09 , pp.Automatic Derivation of the Irrationality of
On the Role of
By Caprotti O.,Cohen A.M. in (2001)
Journal of Symbolic Computation,volume 32,issue 4 , Vol. 32, Iss. 4, 2001-09 , pp.MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
By Kohlhase M.,Franke A. in (2001)
Journal of Symbolic Computation,volume 32,issue 4 , Vol. 32, Iss. 4, 2001-09 , pp.A General Framework to Build Contextual Cover Set Induction Provers
Journal of Symbolic Computation,volume 32,issue 4 , Vol. 32, Iss. 4, 2001-09 , pp.