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