Period of time: 2008年2期
Publisher: Springer Publishing Company
Founded in: 2007
Total resources: 3
ISSN: 1661-8270
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.
Mathematics in Computer Science,volume 2,issue 2
Menu
Identifying Subscripts and Superscripts in Mathematical Documents
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.Automatic Proof of Graph Nonisomorphism
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.Organization, Transformation, and Propagation of Mathematical Knowledge in Ωmega
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.Using as a Semantic Markup Format
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.A Math Query Language with an Expanded Set of Wildcards
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.Relevance Ranking and Hit Description in Math Search
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.Spurious Disambiguation Errors and How to Get Rid of Them
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.The Freedom to Extend OpenMath and its Utility
Mathematics in Computer Science,volume 2,issue 2 , Vol. 2, Iss. 2, 2008-12 , pp.