Period of time: 2013年1-3期
Publisher: Springer Publishing Company
Founded in: 1990
Total resources: 73
ISSN: 1012-2443
Subject: O Mathematical Sciences and Chemical
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3
Menu
Mathematical Knowledge Management in HELM
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.Knowledge Representation and Management in ACTIVEMATH
By Melis E.,Büdenbender J.,Goguadze G.,Libbrecht P.,Ullrich C. in (2003)
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.On Dynamically Presenting a Topology Course
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.NIST Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.Technical Aspects of the Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.An Overview of a Formal Framework for Managing Mathematics
Annals of Mathematics and Artificial Intelligence,volume 38,issue 1-3 , Vol. 38, Iss. 1-3, 2003-05 , pp.